scientific article; zbMATH DE number 1746447

zbMATH Open0985.68664MaRDI QIDQ4532077FDOQ4532077

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (16)

• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Predicate diagrams for the verification of real-time systems
• Formal design and analysis of a gear controller
• Title not available (Why is that?)
• Uppaal
• Title not available (Why is that?)
• 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
• Adapting the UPPAAL Model of a Distributed Lift System
• Model-checking for real-time systems
• Uppaal in a nutshell
• Automated verification of an audio-control protocol using UPPAAL

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)