Modeling urgency in timed systems

DOI10.1007/3-540-49213-5_5MaRDI QIDQ7010078zbMATH OpenFDO

Authors Sébastien Bornot, Joseph Sifakis, Stavros Tripakis

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_5

Mathematics Subject Classification ID

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

Cites work

• Compositional specification of timed systems
• Maintaining knowledge about temporal intervals
• Model-checking in dense real-time
• Symbolic model checking for real-time systems

This page was built for publication: Modeling urgency in timed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7010078)