Supporting requirements specification and testing of a certifiable RTOS product line

Source de subvention

Natural Sciences and Engineering Research Council of Canada (NSERC)

Professeur(e)s impliqués