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

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

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

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

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

    Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.V.

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

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

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

    Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

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

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

    Generation of multipurpose formal models from legacy code за авторством Potiyenko, S.V., Kolchin, A.V.

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

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

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

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

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

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

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

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

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

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

    Static method of consistency and completeness checking in formal model of distributed software systems за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

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

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

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

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

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

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