Numerical Software Verification More Books by Alessandro Abate & Sylvie Boldo

Quantitative Evaluation of Systems

2021

Formal Modeling and Analysis of Timed Systems

2017

Hybrid Systems Biology

2016