Because Knetbooks knows college students. Our rental program is designed to save you time and money. Whether you need a textbook for a semester, quarter or even a summer session, we have an option for you. Simply select a rental period, enter your information and your book will be on its way!
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