Verification and Performance Analysis for Embedded Systems

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

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.
OriginalsprogEngelsk
TitelTASE 2009 : Third IEEE International Symposium on Theoretical Aspects of Software Engineering
RedaktørerChi Wei-Ngan, Qin Shengchao
Antal sider2
Vol/bind3
ForlagIEEE Computer Society Press
Publikationsdato2009
Sider3-4
ISBN (Trykt)978-0-7695-3757-3
DOI
StatusUdgivet - 2009
BegivenhedTASE 2009 - Tianjin, Kina
Varighed: 29 jul. 200931 jul. 2009
Konferencens nummer: 3

Konference

KonferenceTASE 2009
Nummer3
Land/OmrådeKina
ByTianjin
Periode29/07/200931/07/2009
NavnTASE

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verification and Performance Analysis for Embedded Systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater