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.
Originalsprog | Engelsk |
---|---|
Titel | TASE 2009 : Third IEEE International Symposium on Theoretical Aspects of Software Engineering |
Redaktører | Chi Wei-Ngan, Qin Shengchao |
Antal sider | 2 |
Vol/bind | 3 |
Forlag | IEEE Computer Society Press |
Publikationsdato | 2009 |
Sider | 3-4 |
ISBN (Trykt) | 978-0-7695-3757-3 |
DOI | |
Status | Udgivet - 2009 |
Begivenhed | TASE 2009 - Tianjin, Kina Varighed: 29 jul. 2009 → 31 jul. 2009 Konferencens nummer: 3 |
Konference
Konference | TASE 2009 |
---|---|
Nummer | 3 |
Land/Område | Kina |
By | Tianjin |
Periode | 29/07/2009 → 31/07/2009 |
Navn | TASE |
---|