Automated Test Generation Timed Automata: Tool and Case Study

Publication: ResearchArticle 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
EventAutomated Test Generation Timed Automata -


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