Харвестер відкритої науки НАН України

The Non-Deterministic Strategy of Rewriting

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

Deductive verification of requirements for event-driven architecture

von Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.
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

Insertion modeling in distributed system design

von Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.
Veröffentlicht 2008