На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Подать статью

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

№4
Ожидается:
13 Декабря 2024
RSS
Подписаться на RSS

Ключевое слово: автомат бюхи

  1. Сложность проверки модели параллельных программных систем
    2. Авторы статьи: Захарченко С.С.

  2. Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени
    3. Авторы статьи: Кораблин Ю.П., Косакян М.Л.

  3. Метод ограничений верифицируемых моделей
    4. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  4. Эквациональная характеристика формул LTL
    5. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  5. Метод распределенного анализа свойств верифицируемых моделей
    6. Авторы статьи: Шипов А.А.

  6. Построение моделей систем на базе эквациональной характеристики формул LTL
    7. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  7. Верификация моделей систем на базе эквациональной характеристики формул LTL
    8. Авторы статьи: Кораблин Ю.П., Шипов А.А., Кочергин А.С.