Verification and Validation for Deep-Space Autonomous Systems (NASA MSL Case Study)

An architectural analysis of how NASA JPL tackled verification and validation for the Mars Science Laboratory Curiosity rover flight software. This research monograph was originally published by the S