Time-Optimal Test Cases for Real-Time Systems

Publication: 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
EventTime-Optimal Test Cases for Real-Time Systems -

Conference

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