Formal Methods for the Design of Real-Time Systems

DOI10.1007/B110123zbMath1105.68082OpenAlexW36240330MaRDI QIDQ5494307

D. Cacciagrano, Flavio Corradini

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

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

Related Items (1)

Unnamed Item

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