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

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

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

40 Citationer (Scopus)

516 Downloads (Pure)

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6252
Sider (fra-til)	365-370
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-15643-4_29
Status	Udgivet - 2010

Adgang til dokumentet

@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 -