Formal Modeling and Analysis of Timed Systems More Books by Alessandro Abate & Gilles Geeraerts

Quantitative Evaluation of Systems

2021

Numerical Software Verification

2017

Hybrid Systems Biology

2016