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

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

    A method for guided search and test scenarios generation in verification of formal models of asynchronous systems за авторством Kolchin, A.V.

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

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

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

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

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

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

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

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

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

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