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

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

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

38 Citations (Scopus)

492 Downloads (Pure)

Original language	English
Book series	Lecture Notes in Computer Science
Volume	6252
Pages (from-to)	365-370
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-15643-4_29
Publication status	Published - 2010

Access to Document

@inproceedings{3f8d3ac2fae94bde8dfc8a819559db90,

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

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

year = "2010",

doi = "10.1007/978-3-642-15643-4_29",

language = "English",

volume = "6252",

pages = "365--370",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

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

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Nyman, Ulrik

AU - Legay, Axel

AU - Wasowski, Andrzej

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-15643-4_29

DO - 10.1007/978-3-642-15643-4_29

M3 - Conference article in Journal

SN - 0302-9743

VL - 6252

SP - 365

EP - 370

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -