SciNetwork

Ключевая фраза: УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ

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