On the determinization of timed systems

DOI10.1007/978-3-319-65765-3_2zbMath1494.68129OpenAlexW2741764335MaRDI QIDQ1683431

Samy Jaziri, Nicolas Markey, Patricia Bouyer

Publication date: 1 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-65765-3_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Failure detection and localization for timed event graphs in \((\max,+)\)-algebra

This page was built for publication: On the determinization of timed systems