Robust safety of timed automata

Technical Report PDF: 
Technical Report Number: 
2008.107
TitleRobust safety of timed automata
Publication TypeJournal Article
Year of Publication2008
AuthorsDe Wulf, M, Doyen L, Markey N, Raskin J-F
JournalFormal Methods in System Design
Volume33
Pagination45-84