The Non-Deterministic Strategy of Rewriting by Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.

Get full text

Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Get full text

Deductive verification of requirements for event-driven architecture by Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Get full text

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.

Get full text