Formal Modeling and Analysis of Timed Systems المزيد من كتب Nathalie Bertrand & Nils Jansen

Principles of Formal Quantitative Analysis

٢٠٢٥

Quantitative Evaluation of Systems

٢٠١٧