Time-Optimal Test Cases for Real-Time Systems

Research output: ResearchArticle in proceeding

Details

Original languageEnglish
Title of host publicationProceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)
Volume2791
Publication date2003
Pages234-245
StatePublished - 2003
Publication categoryResearch
Peer-reviewedNo
EventTime-Optimal Test Cases for Real-Time Systems -
Duration: 19 May 2010 → …

Conference

ConferenceTime-Optimal Test Cases for Real-Time Systems
Periode19/05/2010 → …
ID: 133162