An Inverse Method for Parametric Timed Automata
From MaRDI portal
Publication:4982084
DOI10.1016/j.entcs.2008.12.029zbMath1337.68150OpenAlexW2118313618MaRDI QIDQ4982084
Emmanuelle Encrenaz, Étienne André, Thomas Chatain, Laurent Fribourg
Publication date: 23 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.029
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- A theory of timed automata
- Uppaal in a nutshell
- Timing verification by successive approximation
- Time Separation of Events: An Inverse Method
- Timing Parameter Characterization of Real-Time Systems
- Parametric real-time reasoning
- Static Analysis
- On Interleaving in Timed Automata
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: An Inverse Method for Parametric Timed Automata