Specification and Verification of Design Models for Certifiable Avionics Software

Source de subvention

Natural Sciences and Engineering Research Council of Canada (NSERC) and CRIAQ- Collaborative Research and Development

Professeur(e)s impliqués