Timed I/O Automata: A Complete Specification Theory for Real-time Systems

Alexandre David; Kim Guldstrand Larsen; Axel Legay; Ulrik Mathias Nyman; Andrzej Wasowski

Timed I/O Automata: A Complete Specification Theory for Real-time Systems

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

Computer Science

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

Original language	English
Title of host publication	HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems : computation and control
Publisher	Association for Computing Machinery
Publication date	2010
ISBN (Electronic)	978-1-60558-955-8
Publication status	Published - 2010
Event	International Conference on Hybrid Systems: Computation and Control. April 12-16, - Stockholm, Sweden Duration: 12 Apr 2010 → 16 Apr 2010 Conference number: 13

Conference

Conference	International Conference on Hybrid Systems: Computation and Control. April 12-16,
Number	13
Country/Territory	Sweden
City	Stockholm
Period	12/04/2010 → 16/04/2010

Cite this

@inproceedings{8f076ef0028111dfa523000ea68e967b,

title = "Timed I/O Automata: A Complete Specification Theory for Real-time Systems",

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

year = "2010",

language = "English",

booktitle = "HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems",

publisher = "Association for Computing Machinery",

address = "United States",

note = "International Conference on Hybrid Systems: Computation and Control. April 12-16, ; Conference date: 12-04-2010 Through 16-04-2010",

}

David, A, Larsen, KG, Legay, A, Nyman, UM & Wasowski, A 2010, Timed I/O Automata: A Complete Specification Theory for Real-time Systems. in HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems: computation and control . Association for Computing Machinery, International Conference on Hybrid Systems: Computation and Control. April 12-16, Stockholm, Sweden, 12/04/2010.

Timed I/O Automata: A Complete Specification Theory for Real-time Systems. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel et al.
HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems: computation and control . Association for Computing Machinery, 2010.

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

TY - GEN

T1 - Timed I/O Automata: A Complete Specification Theory for Real-time Systems

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Nyman, Ulrik Mathias

AU - Wasowski, Andrzej

N1 - Conference code: 13

PY - 2010

Y1 - 2010

M3 - Article in proceedings

BT - HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems

PB - Association for Computing Machinery

T2 - International Conference on Hybrid Systems: Computation and Control. April 12-16,

Y2 - 12 April 2010 through 16 April 2010

ER -