Test Generation for Time Critical Systems: Tool and Case Study

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001
Publication date	2001
Pages	155-162
Publication status	Published - 2001
Event	Test Generation for Time Critical Systems - Duration: 19 May 2010 → …

Conference	Test Generation for Time Critical Systems
Period	19/05/2010 → …

AUB Link

@inproceedings{0fe906e08ac211dbbb3d000ea68e967b,

title = "Test Generation for Time Critical Systems: Tool and Case Study",

author = "Brian Nielsen and Arne Skou",

year = "2001",

language = "English",

pages = "155--162",

booktitle = "13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001",

note = "Test Generation for Time Critical Systems ; Conference date: 19-05-2010",

}