Verifying real-time systems against scenario-based requirements

Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

5 Citations (Scopus)
646 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Verifying real-time systems against scenario-based requirements'. Together they form a unique fingerprint.

Computer Science