Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 11 von 26176
Open Access
    Datensatz exportieren als...
  • BibTeX
A Tutorial on Uppaal
Formal Methods for the Design of Real-Time Systems, 2004, p.200-236
2004

Details

Autor(en) / Beteiligte
Titel
A Tutorial on Uppaal
Ist Teil von
  • Formal Methods for the Design of Real-Time Systems, 2004, p.200-236
Ort / Verlag
Berlin, Heidelberg: Springer Berlin Heidelberg
Erscheinungsjahr
2004
Link zum Volltext
Quelle
Alma/SFX Local Collection
Beschreibungen/Notizen
  • 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.
Sprache
Englisch
Identifikatoren
ISBN: 9783540230687, 3540230688
ISSN: 0302-9743
eISSN: 1611-3349
DOI: 10.1007/978-3-540-30080-9_7
Titel-ID: cdi_pascalfrancis_primary_16194816
Format
–
Schlagworte
Applied sciences, Computer science, control theory, systems, Critical Section, Exact sciences and technology, Integer Variable, Liveness Property, Reachable State, Safety Property, Software, Software engineering

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX