Brahim Hamid
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Méthodes formelles
Architecture logicielle
Modélisation
Sécurité des systèmes
Composant
Connector
Métamodel
Métal-modélisation
Formalisation
Ingénierie systèmes sécurisés
Menaces
Propriétés de sécurité
Réutilisation
Systèmes informatiques -- Mesures de sûreté
Technologies de l'information et de la communication
Ingénierie Dirigée par les Modèles
Système multi-Agents
Système d'énergie
Réseaux électriques intelligents