Specification and Verification of Design Models for Certifiable Avionics Software

Source of subsidy

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

Professors involved