Referenced Items are not available for this document.
We review several aspects of robustness of real-time systems, and present recent results on the robust verification of timed automata.
Published in:
Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on
Date of Conference: 15-17 June 2011
- Page(s):
- 28 - 34
- E-ISBN :
- 978-1-61284-819-8
- Print ISBN:
- 978-1-61284-818-1
- INSPEC Accession Number:
- 12118860
- Conference Location :
- Vasteras
- Digital Object Identifier :
- 10.1109/SIES.2011.5953652
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
