Formal Modeling and Analysis of Timed Systems Alessandro Abate & Gilles Geeraerts: другие книги

Quantitative Evaluation of Systems

2021

Numerical Software Verification

2017

Hybrid Systems Biology

2016