SciNetwork

Ключевая фраза: LTL-СПЕЦИФИКАЦИЯ ОГРАНИЧЕННО НЕДЕТЕРМИНИРОВАННОГО ПОВЕДЕНИЯ

Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «LTL-СПЕЦИФИКАЦИЯ ОГРАНИЧЕННО НЕДЕТЕРМИНИРОВАННОГО ПОВЕДЕНИЯ».
Статьи: 1
01.LTL-СПЕЦИФИКАЦИЯ ДЛЯ РАЗРАБОТКИ И ВЕРИФИКАЦИИ ПРОГРАММ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ В СИСТЕМАХ С ОБРАТНОЙ СВЯЗЬЮ (2024)
Сохранить в закладках
Журнал:
МОДЕЛИРОВАНИЕ И АНАЛИЗ ИНФОРМАЦИОННЫХ СИСТЕМ
Автор(ы):
Нейзов М. В., Кузьмин Е. В.
SciNetwork