Способ проверки корректности планировщика задач операционной системы реального времени с помощью сетей Петри

Год/Year: 
2024
Серия/Series: 
Сложные системы модели, анализ и управление / Complex systems: models, analysis, management
Выпуск/Issue: 
2
Начальная страница/First page: 
132
Авторы/Authors: 
А.П. Киреев
С.А. Шаров
A.P. Kireev
S.A. Sharov
Название: 
Способ проверки корректности планировщика задач операционной системы реального времени с помощью сетей Петри
Title: 
Method for checking the correctness of the task scheduler of a real-time operating system using Petri nets
Полная версия/Full version: