A comprehensive software verification technology for onboard control systems of spacecraft

DOI10.1134/s0005117923100065OpenAlexW4392142833MaRDI QIDQ6200430

No author found.

Publication date: 29 February 2024

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0005117923100065

zbMATH Keywords

softwarespacecraftcomprehensive software verificationonboard control system

Mathematics Subject Classification ID

Theory of software (68Nxx)

Cites Work

• Developing models and design methods for information management systems in space vehicles

This page was built for publication: A comprehensive software verification technology for onboard control systems of spacecraft