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

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

    Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents за авторством S. V. Potiyenko

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

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

    Symbolic modeling of basic protocols systems with arbitrary number of agents за авторством Potiyenko, S.V.

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

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

    Efficient increasing of the mutation score during model-based test suite generation за авторством Kolchin, A., Potiyenko, S., Weigert, T.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Internal States of Hadrons in Relativistic Reference Frames за авторством N. O. Chudak, K. K. Merkotan, D. A. Ptashynskyy, O. S. Potiyenko, M. A. Deliyergiyev, A. V. Tykhonov, G. O. Sokhrannyi, O. V. Zharova, O. D. Berezovskyi, V. V. Voitenko

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

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

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