IEEE - Institute of Electrical and Electronics Engineers, Inc. - Robustness in real-time systems

2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)

Author(s): Markey, N.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2011
Conference Location: Vasteras, Sweden, Sweden
Conference Date: 15 June 2011
Page(s): 28 - 34
ISBN (Electronic): 978-1-61284-820-4
ISBN (Paper): 978-1-61284-818-1
ISBN (Online): 978-1-61284-819-8
DOI: 10.1109/SIES.2011.5953652
Regular:

We review several aspects of robustness of real-time systems, and present recent results on the robust verification of timed automata.

Advertisement