Brahim Hamid
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Méthodes formelles
Modélisation
Architecture logicielle
Systèmes embarqués (informatique)
Preuve
Représentation des connaissances
Raisonnement ontologique
Formalismes logiques
Event-B
Raffinement
Méthodes formelles (informatique)
B (méthode formelle)
Ontologies (informatique)
Systèmes, Conception de
Sécurité des systèmes
Ingénierie Dirigée par les Modèles
Système multi-Agents
Système d'énergie
Réseaux électriques intelligents