Time-Optimal Test Cases for Real-Time Systems

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelProceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)
Vol/bind2791
Publikationsdato2003
Sider234-245
StatusUdgivet - 2003
BegivenhedTime-Optimal Test Cases for Real-Time Systems -
Varighed: 19 maj 2010 → …

Konference

KonferenceTime-Optimal Test Cases for Real-Time Systems
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citationsformater

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