Formal Modeling and Analysis of Timed Systems المزيد من كتب Alessandro Abate & Gilles Geeraerts

Quantitative Evaluation of Systems

٢٠٢١

Numerical Software Verification

٢٠١٧

Hybrid Systems Biology

٢٠١٦