Abstract
This talk provides a thorough tutorial of the UPPAAL tool suite for, modeling, simulation, verification, optimal scheduling, synthesis, testing and performance analysis of embedded and real-time systems.
Original language | English |
---|---|
Title of host publication | TASE 2009 : Third IEEE International Symposium on Theoretical Aspects of Software Engineering |
Editors | Chi Wei-Ngan, Qin Shengchao |
Number of pages | 2 |
Volume | 3 |
Publisher | IEEE Computer Society Press |
Publication date | 2009 |
Pages | 3-4 |
ISBN (Print) | 978-0-7695-3757-3 |
DOIs | |
Publication status | Published - 2009 |
Event | TASE 2009 - Tianjin, China Duration: 29 Jul 2009 → 31 Jul 2009 Conference number: 3 |
Conference
Conference | TASE 2009 |
---|---|
Number | 3 |
Country/Territory | China |
City | Tianjin |
Period | 29/07/2009 → 31/07/2009 |
Series | TASE |
---|