A comprehensive software verification technology for onboard control systems of spacecraft

From MaRDI portal

Revision as of 07:13, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6200430

Jump to:navigation, search

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

software spacecraft comprehensive software verification onboard 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6200430&oldid=35697634"