Formal Modeling and Analysis of Timed Systems Nathalie Bertrand & Nils Jansen: другие книги

Principles of Formal Quantitative Analysis

2025

Quantitative Evaluation of Systems

2017