S.A. Sharov

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

Title: 
Method for checking the correctness of the task scheduler of a real-time operating system using Petri nets
Серия/Series: 
Сложные системы модели, анализ и управление / Complex systems: models, analysis, management
Год/Year: 
2024
Выпуск/Issue: 
2
Начальная страница/First page: 
132

Средства верификации протокола информационного взаимодействия специального программного обеспечения бортовой аппаратуры космических аппаратов

Title: 
Means of verification of the information interaction protocol software on-board equipment of space vehicles
Серия/Series: 
Сложные системы модели, анализ и управление / Complex systems: models, analysis, management
Год/Year: 
2022
Выпуск/Issue: 
1
Начальная страница/First page: 
104
Subscribe to RSS - S.A. Sharov