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 proceedingKonferenceartikel i proceedingForskningpeer review

124 Citationer (Scopus)
328 Downloads (Pure)
OriginalsprogEngelsk
TitelProceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10
ForlagAssociation for Computing Machinery
Publikationsdato2010
ISBN (Elektronisk)978-1-60558-955-8
DOI
StatusUdgivet - 2010

Citationsformater

David, A., Larsen, K. G., Nyman, U., Legay, A., & Wasowski, A. (2010). Timed I/O automata: a complete specification theory for real-time systems. I Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10 Association for Computing Machinery. https://doi.org/10.1145/1755952.1755967