HIERARCHICAL COMPONENT-BASED FRAMEWORK FOR THE FORMAL VERIFICATION AND VALIDATION OF COMPLEX AEROSPACE SOFTWARE SYSTEMS AEROSPACE SYSTEMS ARE COMP

Georgia Tech Research Corp

Investigators