Ioannis Parissis
IdRefMots clés
FR |
EN
Test
Logiciels -- Développement
Internet des objets
Critères de couverture
Génie logiciel
Architecture logicielle
Méthodes formelles
Systèmes embarqués (informatique)
Programmation logique
Logiciels -- Vérification
LUSTRE (langage de programmation)
Programmation par contraintes
Diagnostic
Sécurité
Propriétés de sûreté
Lustre
Ingénierie des exigences
Exigences règlementaires
Environnements normés
Modélisation Orientée Aspects