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

  • Показ 1 - 7 результатів із 7
Уточнити результати
  1. 1
    Зображення обкладинки

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

    Опубліковано 2026
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

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

    Опубліковано 2026
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

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

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

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

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

    Опубліковано 2015
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

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

    Опубліковано 2025
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    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
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

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

    Опубліковано 2026
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

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