Formal Methods for the Design of Real-Time Systems

DOI10.1007/b110123zbMath1105.68080OpenAlexW36240330MaRDI QIDQ5494305

Elmar Bihler, Walter Vogler

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 (5)

Comparative trace semantics of time Petri nets ⋮ Comparing Semantics Under Strong Timing of Petri Nets ⋮ Composition methods for constructing characteristic formulas for dense-time models ⋮ Testing equivalences of time Petri nets ⋮ Unifying behavioral equivalences of timed transition systems

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