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
Conference | Automated Test Generation Timed Automata |
---|---|
Period | 19/05/2010 → … |