risk driven spacecraft flight software independent verification and validation published presentations and documents on DocSlides.
