Formal Modeling and Analysis of Timed Systems Plus de livres par Sergiy Bogomolov & David Parker

Numerical Software Verification

2017