К списку авторов / Go to index of authors

С.А. Шаров

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

Title:

Method for checking the correctness of the task scheduler of a real-time operating system using Petri nets

Год/Year:

2024

Начальная страница/First page:

132

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

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

Title:

Means of verification of the information interaction protocol software on-board equipment of space vehicles

Год/Year:

2022

Начальная страница/First page:

104

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