На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

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

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

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

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

1
Ожидается:
17 Марта 2024

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

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

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

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

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

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

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

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