Christian Attiogbé
Mots clés
FR |
EN
Ingénierie dirigée par les modèles
Raffinement
B (méthode formelle)
SysML (informatique)
Transformation de modèles
Test
Modélisation
Vérification
Méthode B
Systèmes, Conception de
Analyse des systèmes
Spéciications SysML
Architecture SBC
Compatibilité
Exigences
Propriétés LTL
Promela/ SPIN
Ptolemy
MIO Workbench
Systèmes informatiques -- Mesures de sûreté