Formal Methods for the Design of Real-Time Systems

DOI10.1007/B110123zbMath1105.68079OpenAlexW36240330MaRDI QIDQ5494306

Jos C. M. Baeten, Michel Reniers

Publication date: 19 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b110123

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Reconciling real and stochastic time: the need for probabilistic refinement ⋮ A timed calculus for wireless systems ⋮ Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination

Uses Software

• Uppaal

This page was built for publication: Formal Methods for the Design of Real-Time Systems