Найти:

Ключевая фраза: promela

Подписаться
Материалы
Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «promela».
Статьи: 1
01.Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах (2024)
Сохранить в закладках
Журнал:
МОДЕЛИРОВАНИЕ И АНАЛИЗ ИНФОРМАЦИОННЫХ СИСТЕМ
Автор(ы):
Гаранина Н. О.