Quantitative Evaluation of Systems More Books by Nathalie Bertrand & Luca Bortolussi

Principles of Formal Quantitative Analysis

2025

Formal Modeling and Analysis of Timed Systems

2020