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

Volltext

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

Volltext

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

Volltext

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.

Volltext