Formal Modeling and Analysis of Timed Systems Sách Khác Của Sergiy Bogomolov & David Parker

Numerical Software Verification

2017