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 tidsskriftKonferenceartikel i tidsskriftForskningpeer review

32 Citationer (Scopus)
301 Downloads (Pure)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6252
Sider (fra-til)365-370
ISSN0302-9743
DOI
StatusUdgivet - 2010

Citer dette

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

}

ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. / David, Alexandre; Larsen, Kim Guldstrand; Nyman, Ulrik; Legay, Axel; Wasowski, Andrzej.

I: Lecture Notes in Computer Science, Bind 6252, 2010, s. 365-370.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

VL - 6252

SP - 365

EP - 370

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -