Nathalie Bertrand

الكتب
Principles of Formal Quantitative Analysis Principles of Formal Quantitative Analysis
Principles of Formal Quantitative Analysis
٢٠٢٥
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠٢٠
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٧