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

S.A. Sharov

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

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 about Способ проверки корректности планировщика задач операционной системы реального времени с помощью сетей Петри

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

Title:

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

Год/Year:

2022

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

104

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