A comprehensive software verification technology for onboard control systems of spacecraft

DOI10.1134/S0005117923100065OpenAlexW4392142833MaRDI QIDQ6200430FDOQ6200430

Authors:

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200430)