Means of verification of the information interaction protocol software on-board equipment of space vehicles
Автор: Kireev A.P., Sharov S.A.
Рубрика: Управление сложными системами
Статья в выпуске: 1, 2022 года.
Бесплатный доступ
The article presents the technology of formal proof of the presence of the specified properties of the software, the analysis for fault tolerance and preliminary assessment of the quality of the product before the appearance of the prototype.
Special software, onboard equipment, spacecraft, software verification
Короткий адрес: https://sciup.org/148323985
IDR: 148323985
Статья научная
