Le moteur de recherche
des thèses françaises
Samir Chouali
IdRefMots clés
FR |
EN
Compatibilité
Exigences
SysML (informatique)
Modélisation
Adaptation
Automates d'interface
Spéciications SysML
Architecture SBC
Raffinement
Propriétés LTL
Promela/ SPIN
Ptolemy
MIO Workbench
SysML
Verification
Développement basé sur les composants
Réseaux de Petri colorés
Composants logiciels
Réutilisabilité
Interopérabilité