Sergiy Bogomolov

Sergiy Bogomolov

2 ספרים במאגר

ספרים

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