Formal Modeling and Analysis of Timed Systems Sách Khác Của Alessandro Abate & Gilles Geeraerts

Quantitative Evaluation of Systems

2021

Numerical Software Verification

2017

Hybrid Systems Biology

2016