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.
- The Rental copy of this book is not guaranteed to include any supplemental materials. You may receive a brand new copy, but typically, only the book itself.
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