Alessandro Abate

도서
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2021년
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2017년
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
2017년
Hybrid Systems Biology Hybrid Systems Biology
Hybrid Systems Biology
2016년