A. Olifirov

Invariants Classification Characteristics for Checking the Correctness of Computational Processes

S. Petrenko, K. Makoveichuk, A. Olifirov, 2019 .

Methods of Profiling the Behavior of Dynamic Objects of a Critically Important Information Infrastructure

S. Petrenko, K. Makoveichuk, A. Olifirov, 2019 .

Platform for Testing and Dynamic Control of Software Code Based on Dimensions

S. Petrenko, K. Makoveichuk, A. Olifirov, 2021 .