Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

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

Original language	English
Title of host publication	Lecture Notes in Computer Science : Formal Methods for Components and Objects
Volume	6286
Publisher	Springer
Publication date	2010
Pages	290-310
Publication status	Published - 2010

Cite this

@inproceedings{2447c13c1c9a4819a305b5ba71baf48f,

title = "Methodologies for Specification of Real-Time Systems Using Timed I/O Automata",

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

year = "2010",

language = "English",

volume = "6286",

pages = "290--310",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel et al.
Lecture Notes in Computer Science: Formal Methods for Components and Objects. Vol. 6286 Springer, 2010. p. 290-310.

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