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

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Lecture Notes in Computer Science : Automated Technology for Verification and Analysis (ATVA)
Antal sider	6
Vol/bind	6252/2010
Forlag	Springer
Publikationsdato	2010
Status	Udgivet - 2010

Citationsformater

@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). Bind 6252/2010 Springer, 2010.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review