Timed substitutions for regular signal-event languages
From MaRDI portal
Publication:2385194
DOI10.1007/s10703-007-0034-5zbMath1129.68038OpenAlexW1980601361MaRDI QIDQ2385194
Paul Gastin, Antoine Petit, Béatrice Bérard
Publication date: 11 October 2007
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-007-0034-5
Cites Work
- Finite divergence
- A Kleene theorem for splitable signals
- A theory of timed automata
- Accepting zeno words: A way toward timed refinements
- Forward analysis of updatable timed automata
- Timed regular expressions
- Intersection of Regular Signal-Event (Timed) Languages
- Refinements and Abstractions of Signal-Event (Timed) Languages
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item