Original language | English |
---|---|
Title of host publication | Lecture Notes in Computer Science : Automated Technology for Verification and Analysis (ATVA) |
Number of pages | 6 |
Volume | 6252/2010 |
Publisher | Springer |
Publication date | 2010 |
Publication status | Published - 2010 |
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review