Systems Engineering for Automating V&V of Dependable Systems
Title : Systems Engineering for Automating V&V of Dependable Systems
Authors :
Conference : NITRD HCSS-AS National Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems
Date: October 05 - October 06, 2006
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