Ioannis Parissis
Mots clés
FR |
EN
Test
Logiciels -- Développement
Critères de couverture
Internet des objets
Programmation logique
Systèmes embarqués (informatique)
Architecture logicielle
Génie logiciel
Méthodes formelles
Systèmes réactifs sychrones
Automates de modes
Programmation logique contrainte
Automates programmables
Logiciels -- Vérification
LUSTRE (langage de programmation)
Programmation par contraintes
Informatique autonomique
Diagnostic
Adaptation
Ingénierie dirigée par les modèles