Methodology and Tools Developed for Validation of COTS-based Fault-Tolerant Spacecraft Supercomputers.

Michel Pignol

Browse the full IOLTS paper archive.