Principles of Formal Quantitative Analysis More Books by Nathalie Bertrand, Clemens Dubslaff & Sascha Klüppelholz

Formal Modeling and Analysis of Timed Systems

2020

Quantitative Evaluation of Systems

2017