Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents

von S. V. Potiyenko
Veröffentlicht 2013

Symbolic modeling of basic protocols systems with arbitrary number of agents

von Potiyenko, S.V.
Veröffentlicht 2013

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

von Kolchin, A., Potiyenko, S., Weigert, T.
Veröffentlicht 2020

Generation of multipurpose formal models from legacy code

von Potiyenko, S.V., Kolchin, A.V.
Veröffentlicht 2023

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

von Guba, A.A., Kolchin, A.V., Potiyenko, S.V.
Veröffentlicht 2018

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

von Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
Veröffentlicht 2025

Survey on modern tools and methods of formal models verification

von Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Veröffentlicht 2015

Internal States of Hadrons in Relativistic Reference Frames

von 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
Veröffentlicht 2016

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

von 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.
Veröffentlicht 2016