ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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

Cite this

@inproceedings{de53acbd7dd44a6cb7ff65251281e047,

title = "ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems",

author = "Alexandre David and Larsen, \{Kim Guldstrand\} and Axel Legay and Nyman, \{Ulrik Mathias\} and Andrzej Wasowski",

year = "2010",

language = "English",

volume = "6252/2010",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel et al.
Lecture Notes in Computer Science: Automated Technology for Verification and Analysis (ATVA). Vol. 6252/2010 Springer, 2010.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review