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

Principles of Formal Quantitative Analysis Principles of Formal Quantitative Analysis
٢٠٢٥
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
٢٠١٧