Formal Modeling and Analysis of Timed Systems Plus de livres par Nathalie Bertrand & Nils Jansen

Principles of Formal Quantitative Analysis

2025

Quantitative Evaluation of Systems

2017