Результати пошуку

Рекомендовані теми у межах Вашого пошуку.
  • Показ 1 - 5 результатів із 5
Уточнити результати
  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
    Зображення обкладинки

    Methods of forward and backward symbolic modeling of systems specified by basic protocols за авторством Potienko, S.V.

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

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

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

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

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

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

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

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

    Backward transformation of formulas in symbolic modeling: from the result to the source formula за авторством Godlevsky, A.B., Potienko, S.V.

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

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

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