Le moteur de recherche
des thèses françaises
Ioannis Parissis
IdRefMots clés
FR |
EN
Test
Logiciels -- Développement
Génie logiciel
Critères de couverture
Internet des objets
Programmation logique
Systèmes embarqués (informatique)
Architecture logicielle
Validation
Méthodes formelles
Systèmes réactifs sychrones
Automates de modes
Programmation logique contrainte
Automates programmables
Logiciels -- Validation
Logiciels -- Vérification
LUSTRE (langage de programmation)
Programmation par contraintes
Informatique autonomique
Diagnostic