Automated Test Generation Timed Automata: Tool and Case Study

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

Original language	English
Title of host publication	21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000
Publication date	2000
Publication status	Published - 2000
Event	Automated Test Generation Timed Automata - Duration: 19 May 2010 → …

Conference	Automated Test Generation Timed Automata
Period	19/05/2010 → …

AUB Link

@inproceedings{22fb88209c2e11db8ed6000ea68e967b,

title = "Automated Test Generation Timed Automata: Tool and Case Study",

author = "Brian Nielsen and Arne Skou",

year = "2000",

language = "English",

booktitle = "21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000",

note = "Automated Test Generation Timed Automata ; Conference date: 19-05-2010",

}