Результати пошуку автора :: Harvester open publications of NAS Ukraine

1

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

Опубліковано 2008

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

Стаття

2

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

Опубліковано 2010

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

Стаття

3

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

Опубліковано 2026

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

Стаття

4

Test scenarios generation based on formal model за авторством Letichevsky, A.A., Kolchin, A.V.

Опубліковано 2026

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

Стаття

5

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

Опубліковано в: Управляющие системы и машины (2013)

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

Стаття

6

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

Опубліковано в: Управляющие системы и машины (2013)

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

Стаття

7

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

Опубліковано в: Проблеми програмування (2013)

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

8

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

Опубліковано 2015

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

Стаття

9

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

Опубліковано 2025

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

Стаття

10

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.

Опубліковано 2008

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

Стаття

Результати пошуку - Letichevsky, A.

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

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

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

Test scenarios generation based on formal model за авторством Letichevsky, A.A., Kolchin, A.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.

Інструменти для пошуку:

Пов'язані теми