Time-Optimal Test Cases for Real-Time Systems

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

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
Publication statusPublished - 2003
EventTime-Optimal Test Cases for Real-Time Systems -
Duration: 19 May 2010 → …

Conference

ConferenceTime-Optimal Test Cases for Real-Time Systems
Period19/05/2010 → …

Cite this

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P., & Skou, A. (2003). Time-Optimal Test Cases for Real-Time Systems. In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03) (Vol. 2791, pp. 234-245)