Automated Test Generation Timed Automata

Research output: ResearchArticle in proceeding

Details

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
Edition2031
Pages343-357
ISBN (Print)3540418652
StatePublished - 2001
Publication categoryResearch
Peer-reviewedNo
EventAutomated Test Generation Timed Automata -
Duration: 19 May 2010 → …

Conference

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