Formal Methods for the Design of Real-Time Systems

DOI10.1007/B110123zbMath1105.68081OpenAlexW36240330MaRDI QIDQ5494308

Mario Bravetti

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

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

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