A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft

V. V. Kul’ba, E. A. Mikrin, B. V. Pavlov, and S. K. Somov

Pages: 1177-1185 | Topical Issue