A High Assurance On-Line Recovery Technology for a Space On-Board Computer.

Hiroyuki Yashiro, Teruo Fujiwara, Kinji Mori

Browse the full ISADS paper archive.