scientific article; zbMATH DE number 1746447

MaRDI QIDQ4532077zbMATH OpenFDO

Authors Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Alexandre David, P. R. D'Argenio

Publication date 28 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2067/20670099

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Uppaal in a nutshell
• scientific article; zbMATH DE number 1696448
• Model-checking for real-time systems
• Formal Methods for the Design of Real-Time Systems
• Scenario-based verification of real-time systems using UPPAAL

Cited in

(16)

• Adapting the UPPAAL Model of a Distributed Lift System
• Formal design and analysis of a gear controller
• scientific article; zbMATH DE number 2080070 (Why is no real title available?)
• Predicate diagrams for the verification of real-time systems
• scientific article; zbMATH DE number 1696495 (Why is no real title available?)
• scientific article; zbMATH DE number 1759739 (Why is no real title available?)
• Model-checking for real-time systems
• Uppaal
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• scientific article; zbMATH DE number 1796149 (Why is no real title available?)
• Automated verification of an audio-control protocol using UPPAAL
• scientific article; zbMATH DE number 1696448 (Why is no real title available?)
• Formal Methods for the Design of Real-Time Systems
• Formal Methods for the Design of Real-Time Systems
• Scenario-based verification of real-time systems using UPPAAL
• Uppaal in a nutshell

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532077)