Показ 1 - 5 результатів із 5 для пошуку 'Kolchin, A.V.', час виконання запиту: 0.03сек. Уточнити результати
  1. 1
    Optimization of checking the feasibility of transitions when verifying formal models
    за авторством Kolchin, A.V.
    Опубліковано 2015
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Generation of multipurpose formal models from legacy code
    за авторством Potiyenko, S.V., Kolchin, A.V.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 3
    Static method of consistency and completeness checking in formal model of distributed software systems
    за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  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
    Survey on modern tools and methods of formal models verification
    за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
    Опубліковано 2015
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою