Professeurs subventionnés
-
Subvention
Conseil de recherches en sciences naturelles et génie Canada
Subventions à la découverte SD (individuelles et d'équipe)
-
algèbres de processus, analyses statiques et dynamiques, instrumentation de code, internet des objets, logiques formelles, politiques de sécurités, programmation orientée aspects, réécriture, renforcement de la sécurité, réseaux de capteurs
- Mohamed Mejri, Sciences et génie, Département d'informatique et de génie logiciel, responsable du projet
Date de fin : 2023-03-31
Dernière mise à jour : 2 février 2022
| Demande de correction |