Sergiy Bogomolov

Sergiy Bogomolov

2 books in the database

Books

Formal Modeling and Analysis of Timed SystemsSergiy Bogomolov

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov · 2022

Numerical Software VerificationSergiy Bogomolov

Numerical Software Verification

Sergiy Bogomolov · 2017