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

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

Originalsprog	Engelsk
Titel	HSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems : computation and control
Forlag	Association for Computing Machinery
Publikationsdato	2010
ISBN (Elektronisk)	978-1-60558-955-8
Status	Udgivet - 2010
Begivenhed	International Conference on Hybrid Systems: Computation and Control. April 12-16, - Stockholm, Sverige Varighed: 12 apr. 2010 → 16 apr. 2010 Konferencens nummer: 13

Konference

Konference	International Conference on Hybrid Systems: Computation and Control. April 12-16,
Nummer	13
Land/Område	Sverige
By	Stockholm
Periode	12/04/2010 → 16/04/2010

Citationsformater

@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. i 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, Sverige, 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.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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 -