A Tutorial on UPPAAL

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1157 Citationer (Scopus)

Abstract

This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns.
OriginalsprogEngelsk
TitelFormal Methods for the Design of Real-Time Systems : Lecture Notes in Computer Science (revised lectures)
RedaktørerMarco Bernardo, Flavio Corradini (eds.)
ForlagSpringer
Publikationsdato2004
Udgave3185
Sider200-237
ISBN (Trykt)3540230688
StatusUdgivet - 2004
BegivenhedA Tutorial on UPPAAL -
Varighed: 19 maj 2010 → …

Konference

KonferenceA Tutorial on UPPAAL
Periode19/05/2010 → …

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Tutorial on UPPAAL'. Sammen danner de et unikt fingeraftryk.

Citationsformater