APS C++ User's Library за авторством Letichevsky, A., Letichevsky, A.Jr., Peschanenko, V.

Отримати повний текст

Simple non-deterministic rewriting in verification за авторством Letichevsky, A., Peschanenko, V.

Отримати повний текст

Satisfiability For Symbolic Verification in VRS за авторством Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.

Отримати повний текст

The Non-Deterministic Strategy of Rewriting за авторством Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.

Отримати повний текст

Deductive verification of requirements for event-driven architecture за авторством Letichevsky, A., Letychevskyi, О., Peschanenko, V., Guba, A.

Отримати повний текст

Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

Отримати повний текст

Deductive verification of requirements for event-driven architecture за авторством Letichevsky, A.A., Letichevsky, O.O., Peschanenko, V.S., Guba, A.A.

Отримати повний текст

Insertion modeling in distributed system design за авторством Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

Отримати повний текст