A Mechanized Semantic Framework for Real-Time Systems

DOI10.1007/978-3-642-40229-6_8zbMath1390.68470OpenAlexW1866297606MaRDI QIDQ2842665

Mamoun Filali Amine, Jean-Paul Bodeveix, Manuel Garnacho

Publication date: 16 August 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Verified Certification of Reachability Checking for Timed Automata ⋮ On the semantics of polychronous polytimed specifications ⋮ Formalized Timed Automata

Uses Software

• Unnamed Item

This page was built for publication: A Mechanized Semantic Framework for Real-Time Systems