Le moteur de recherche
des thèses françaises
Christian Attiogbé
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Raffinement
B (méthode formelle)
Modélisation
SysML (informatique)
Transformation de modèles
Test
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é