A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft
- Authors: Kul'ba V.V.1, Mikrin E.A.1, Pavlov B.V.1, Somov S.K.1
-
Affiliations:
- Trapeznikov Institute of Control Sciences, Russian Academy of Sciences
- Issue: No 10 (2023)
- Pages: 48-58
- Section: Topical issue
- URL: https://rjsvd.com/0005-2310/article/view/646723
- DOI: https://doi.org/10.31857/S0005231023100057
- EDN: https://elibrary.ru/YEDKZJ
- ID: 646723
Cite item