Bulk sales, PO's, Marketplace Items, eBooks, Apparel, and DVDs not included.
Questions About This Book?
- The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.
Table of Contents
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