Systems Engineering for Automating V&V of Dependable Systems

Systems Engineering for Automating V&V of Dependable Systems

Title : Systems Engineering for Automating V&V of Dependable Systems
Authors :
Baras, John, S.
Conference : NITRD HCSS-AS National Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems
Date: October 05 - October 06, 2006