Rigorous implementation of real-time systems – from theory to application

DOI10.1017/S096012951200028XzbMath1272.68097OpenAlexW2150712734MaRDI QIDQ2843865

Jacques Combaz, Tesnim Abdellatif, Joseph Sifakis

Publication date: 26 August 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951200028x

zbMATH Keywords

implementabilitymodel-based implementation method

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

On Implementable Timed Automata

Cites Work

• The algorithmic analysis of hybrid systems
• Symbolic quality control for multimedia applications
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• A theory of timed automata
• An algebraic framework for urgency
• Almost ASAP semantics: from timed models to timed implementations
• Dynamical Properties of Timed Automata Revisited

This page was built for publication: Rigorous implementation of real-time systems – from theory to application