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

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

Originalsprog	Udefineret/Ukendt
Titel	Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings : Lecture Notes in Computer Science
Antal sider	129
Vol/bind	6919
Forlag	Springer
Publikationsdato	2011
ISBN (Trykt)	978-3-642-24310-3_10
DOI	https://doi.org/10.1007/978-3-642-24310-3_10
Status	Udgivet - 2011

Adgang til dokumentet

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

Citationsformater

@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. Bind 6919 Springer, 2011.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -