Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
What is included with this book?
2. The Inverse Method for Parametric Timed Automata
3. Behavioral Cartography of Timed Automata
4. Parameter Synthesis for Probabilistic Systems
5. Parameter Synthesis for Stopwatch and Hybrid Automata
6. Application to Robustness Analysis of Scheduling Problems
7. Conclusion and Perspectives