Formal Modeling and Analysis of Timed Systems More Books by Nathalie Bertrand & Nils Jansen

Principles of Formal Quantitative Analysis

2025

Quantitative Evaluation of Systems

2017