Quantitative Evaluation of Systems Quantitative Evaluation of Systems
٢٠٢١
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
٢٠١٧
Numerical Software Verification Numerical Software Verification
٢٠١٧
Hybrid Systems Biology Hybrid Systems Biology
٢٠١٦