Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Subject
Now showing items 7359-7378 of 7580
Subject |
---|
Vehicular [1] |
Vehicular ad hoc network [1] |
Vehicular ad-hoc Networks [1] |
véhicule [1] |
Vehicule routing [1] |
véhicules aériens sans pilote [1] |
Véhicules électriques [1] |
Vent [1] |
vérificateur de modèles [1] |
Verification [1] |
Vérification [5] |
Vérification basée sur les assertions [1] |
Vérification de designs [1] |
Vérification de modèle [2] |
Vérification de modèles [1] |
Vérification de propriétés [1] |
Vérification des aspects temporels [1] |
Vérification des faits [1] |
Vérification des liens [1] |
Vérification et analyse des systèmes [1] |