Optimization of verification and structure of on-board software using decomposition of executable files

Autor:	L. G. Korol, S. E. Zaytsev, Ye. B. Bondarenko, P. V. Averyanov
Rok vydání:	2019
Předmět:	On board Structure (mathematical logic) Software Computer science Programming language business.industry Decomposition (computer science) Executable computer.file_format computer.software_genre business computer
Zdroj:	XLIII ACADEMIC SPACE CONFERENCE: dedicated to the memory of academician S.P. Korolev and other outstanding Russian scientists – Pioneers of space exploration.
ISSN:	0094-243X
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5acade1440fe1891004eafbff854861b https://doi.org/10.1063/1.5133239 Zobrazit plný text záznamu