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

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

Originalsprog	Engelsk
Titel	Lecture Notes in Computer Science : Formal Methods for Components and Objects
Vol/bind	6286
Forlag	Springer
Publikationsdato	2010
Sider	290-310
Status	Udgivet - 2010

Citationsformater

@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. Bind 6286 Springer, 2010. s. 290-310.

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