APS C++ User's Library von Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.

Volltext

Simple non-deterministic rewriting in verification von Letichevsky, A., Peschanenko, V.

Volltext

Satisfiability For Symbolic Verification in VRS von Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

Volltext

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

Volltext

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

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