Compositional verification of real-time systems using Ecdar

A. David, K.G. Larsen, M.H. Møller, Ulrik Nyman, A.P. Ravn, A. Skou, A. Legay, A. Wasowski

Research output: Contribution to journalJournal articleResearchpeer-review

18 Citations (Scopus)
558 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Compositional verification of real-time systems using Ecdar'. Together they form a unique fingerprint.

Computer Science

Engineering

Keyphrases