Ahmed Hammad
IdRefMots clés
FR |
EN
Simulation
Exigences
SysML (informatique)
SysML
Spéciications SysML
Diagrammes de block
Ingénierie Dirigée par les Modéles IDM
SystemC
Vérification
Propriétés LTL
Model-Checking
Promela/SPIN
STATE tool
Systèmes informatiques
Adaptation
Verification
Développement basé sur les composants
Compatibilité
Automates d'interface
Réseaux de Petri colorés