NASA NTRS · 20060017074
Verifying Aerospace Software
Abstract
Robust Software Engineering Group's case studies in aerospace software analysis a) Remote Agent; b) K9 Rover; c) Lessons learned; d) Research gaps; e) Verifying autonomy software.
Keep this discovery
Explore connections, maps & timelines
Visser, Willem. 2005-01-01. Verifying Aerospace Software. https://ntrs.nasa.gov/citations/20060017074
Cite the original work for its findings. Save a collection to share your selection of sources.