INTEGRATING MODEL-BASED ANALYSIS TO SUPPORT VERIFIABLE SYSTEM COMPOSITION

Institut Superieur De L'Aeronautique Et De L'Espace

Investigators