Automated Test Generation Timed Automata

Publication: ResearchArticle in proceeding


Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings : Lecture Notes in Computer Science
EditorsMargaria, T. : Yi, W. (eds.)
PublisherIEEE Computer Society Press
Publication date2001
ISBN (print)3540418652
StatePublished - 2001
EventAutomated Test Generation Timed Automata -


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