Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents

за авторством S. V. Potiyenko
Опубліковано 2013

Symbolic modeling of basic protocols systems with arbitrary number of agents

за авторством Potiyenko, S.V.
Опубліковано 2013

Efficient increasing of the mutation score during model-based test suite generation

за авторством Kolchin, A., Potiyenko, S., Weigert, T.
Опубліковано 2020

Generation of multipurpose formal models from legacy code

за авторством Potiyenko, S.V., Kolchin, A.V.
Опубліковано 2023

A method for business logic extraction from legacy COBOL code of industrial systems

за авторством Guba, A.A., Kolchin, A.V., Potiyenko, S.V.
Опубліковано 2018

Static method of consistency and completeness checking in formal model of distributed software systems

за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
Опубліковано 2025

Survey on modern tools and methods of formal models verification

за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Опубліковано 2015

Internal States of Hadrons in Relativistic Reference Frames

за авторством N. O. Chudak, K. K. Merkotan, D. A. Ptashynskyy, O. S. Potiyenko, M. A. Deliyergiyev, A. V. Tykhonov, G. O. Sokhrannyi, O. V. Zharova, O. D. Berezovskyi, V. V. Voitenko
Опубліковано 2016

Внутрiшнi стани адронiв у релятивiстських системах вiдлiку

за авторством Chudak, N. O., Merkotan, K. K., Ptashynskyy, D. A., Potiyenko, O. S., Deliyergiyev, M. A., Tikhonov, A. V., Sokhrannyi, G. O., Zharova, O. V., Berezovs’kyi, O. D., Voitenko, V. V., Volkotrub, Yu. V., Sharph, I. V., Rusov, V. D.
Опубліковано 2016