Quantitative Evaluation of Systems Quantitative Evaluation of Systems
2020
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
2018