Automated Test Generation Timed Automata: Tool and Case Study

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

Originalsprog	Engelsk
Titel	21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000
Publikationsdato	2000
Status	Udgivet - 2000
Begivenhed	Automated Test Generation Timed Automata - Varighed: 19 maj 2010 → …

Konference	Automated Test Generation Timed Automata
Periode	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",

}