Open Science Harvester of NAS of Ukraine

The Non-Deterministic Strategy of Rewriting

by Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.
Published in Управляющие системы и машины (2013)

Deductive verification of requirements for event-driven architecture

by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.
Published 2025

Survey on modern tools and methods of formal models verification

by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Published 2015

Insertion modeling in distributed system design

by Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Published 2008