Formal Modeling and Analysis of Timed Systems Plus de livres par Alessandro Abate & Gilles Geeraerts

Quantitative Evaluation of Systems

2021

Numerical Software Verification

2017

Hybrid Systems Biology

2016