Robustness and Implementability of Timed Automata

Technical Report PDF: 
Technical Report Number: 
2004.30
TitleRobustness and Implementability of Timed Automata
Publication TypeConference Paper
Year of Publication2004
AuthorsDe Wulf, M, Doyen L, Markey N, Raskin J-F
Conference NameFORMATS/FTRTFT