Timed I/O automata: a complete specification theory for real-time systems

Alexandre David, Kim Guldstrand Larsen, Ulrik Nyman, Axel Legay, Andrzej Wasowski

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

148 Citationer (Scopus)

836 Downloads (Pure)

Originalsprog	Engelsk
Titel	Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10
Forlag	Association for Computing Machinery
Publikationsdato	2010
ISBN (Elektronisk)	978-1-60558-955-8
DOI	https://doi.org/10.1145/1755952.1755967
Status	Udgivet - 2010

Adgang til dokumentet

@inproceedings{8140873a952347a28fedaed7c635b6cc,

title = "Timed I/O automata: a complete specification theory for real-time systems",

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

year = "2010",

doi = "10.1145/1755952.1755967",

language = "English",

booktitle = "Proceedings of the 13th ACM international conference on Hybrid systems: computation and control",

publisher = "Association for Computing Machinery",

address = "United States",

}

Timed I/O automata: a complete specification theory for real-time systems. / David, Alexandre; Larsen, Kim Guldstrand ; Nyman, Ulrik et al.
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery, 2010.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Timed I/O automata

T2 - a complete specification theory for 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.1145/1755952.1755967

DO - 10.1145/1755952.1755967

M3 - Article in proceeding

BT - Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

PB - Association for Computing Machinery

ER -