Verification and Performance Analysis for Embedded Systems

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

6 Citations (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.
Original languageEnglish
Title of host publicationTASE 2009 : Third IEEE International Symposium on Theoretical Aspects of Software Engineering
EditorsChi Wei-Ngan, Qin Shengchao
Number of pages2
Volume3
PublisherIEEE Computer Society Press
Publication date2009
Pages3-4
ISBN (Print)978-0-7695-3757-3
DOIs
Publication statusPublished - 2009
EventTASE 2009 - Tianjin, China
Duration: 29 Jul 200931 Jul 2009
Conference number: 3

Conference

ConferenceTASE 2009
Number3
Country/TerritoryChina
CityTianjin
Period29/07/200931/07/2009
SeriesTASE

Fingerprint

Dive into the research topics of 'Verification and Performance Analysis for Embedded Systems'. Together they form a unique fingerprint.

Cite this