Automated Test Generation Timed Automata: Tool and Case Study

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceeding


Original languageEnglish
Title of host publication21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000
Publication date2000
StatePublished - 2000
Publication categoryResearch
EventAutomated Test Generation Timed Automata -
Duration: 19 May 2010 → …


ConferenceAutomated Test Generation Timed Automata
Periode19/05/2010 → …
ID: 131377