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

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

    Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

    Опубліковано в: Проблеми програмування (2014)
    Отримати повний текст
    Стаття

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

    Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

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

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

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

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

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

    A method for business logic extraction from legacy COBOL code of industrial systems за авторством Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

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

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

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

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

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

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