Robust Specification of Real Time Components

Kim Guldstrand Larsen; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski

doi:10.1007/978-3-642-24310-3_10

Robust Specification of Real Time Components

Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski

Computer Science

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

Original language	Undefined/Unknown
Title of host publication	Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings : Lecture Notes in Computer Science
Number of pages	129
Volume	6919
Publisher	Springer
Publication date	2011
ISBN (Print)	978-3-642-24310-3_10
DOIs	https://doi.org/10.1007/978-3-642-24310-3_10
Publication status	Published - 2011

Access to Document

10.1007/978-3-642-24310-3_10

Cite this

@inproceedings{a56ee39bfac84376bad93e1d545d071d,

title = "Robust Specification of Real Time Components",

author = "Larsen, {Kim Guldstrand} and Axel Legay and Louis-Marie Traonouez and Andrzej Wasowski",

year = "2011",

doi = "10.1007/978-3-642-24310-3_10",

language = "Udefineret/Ukendt",

isbn = "978-3-642-24310-3_10",

volume = "6919",

booktitle = "Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings",

publisher = "Springer",

address = "Tyskland",

}

Robust Specification of Real Time Components. / Larsen, Kim Guldstrand; Legay, Axel; Traonouez, Louis-Marie et al.
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings: Lecture Notes in Computer Science. Vol. 6919 Springer, 2011.

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

TY - GEN

T1 - Robust Specification of Real Time Components

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Traonouez, Louis-Marie

AU - Wasowski, Andrzej

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-24310-3_10

DO - 10.1007/978-3-642-24310-3_10

M3 - Konferencebidrag i proceedings

SN - 978-3-642-24310-3_10

VL - 6919

BT - Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

PB - Springer

ER -