Testing Real-Time Systems Using UPPAAL

Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

181 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Testing Real-Time Systems Using UPPAAL'. Together they form a unique fingerprint.

Computer Science