Time-Optimal Test Cases for Real-Time Systems

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)
Vol/bind	2791
Publikationsdato	2003
Sider	234-245
Status	Udgivet - 2003
Begivenhed	Time-Optimal Test Cases for Real-Time Systems - Varighed: 19 maj 2010 → …

Konference	Time-Optimal Test Cases for Real-Time Systems
Periode	19/05/2010 → …

ISSN ; -

AUB Link

@inproceedings{1820c0f09c2e11db8ed6000ea68e967b,

title = "Time-Optimal Test Cases for Real-Time Systems",

author = "Anders Hessel and Larsen, {Kim Guldstrand} and Brian Nielsen and Paul Pettersson and Arne Skou",

note = "ISSN ; - ; Time-Optimal Test Cases for Real-Time Systems ; Conference date: 19-05-2010",

year = "2003",

language = "English",

volume = "2791",

pages = "234--245",

booktitle = "Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)",

}

TY - GEN

T1 - Time-Optimal Test Cases for Real-Time Systems

AU - Hessel, Anders

AU - Larsen, Kim Guldstrand

AU - Nielsen, Brian

AU - Pettersson, Paul

AU - Skou, Arne

N1 - ISSN ; -

PY - 2003

Y1 - 2003

M3 - Article in proceeding

VL - 2791

SP - 234

EP - 245

BT - Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03)

T2 - Time-Optimal Test Cases for Real-Time Systems

Y2 - 19 May 2010

ER -