O. O. Letychevskyi

An Overview of the Modern Methods of Security and Protection of Software Systems

Viktor Yakovlev, Volodymyr Peschanenko, Yaroslav Hryniuk, 2019 .

Paradigms of Model-Based and Symbolic Testing of Software Systems

O. O. Letychevskyi, 2015 .

Generating Symbolic Traces in the Insertion Modeling System

Alexander A. Letichevsky, Vladimir S. Peschanenko, O. O. Letychevskyi, 2015 .

Cyber-Physical Systems

V. G. Skobelev, V. A. Volkov, A. A. Letichevsky, 2017 .

Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices

V. A. Volkov, V. S. Kharchenko, V. S. Peschanenko, 2020 .