MOVES : a Tool for Modeling and Verification of Embedded Systems
Activity: Lecture and oral contribution
Kim Guldstrand Larsen - Lecturer, 12 Mar 2007
- CISS - Center for Embedded Software Systems
- Distributed Systems and Semantics
- Department of Computer Science
Conference
| Conference | MOVES |
|---|---|
| Country | Denmark |
| City | Sønderborg |
| Date | 12-03-07 → 12-03-07 |
Loading map data...
ID: 13811929