Le moteur de recherche
des thèses françaises
Brahim Hamid
IdRefMots clés
FR |
EN
Ingénierie dirigée par les modèles
Méthodes formelles
Méthodes formelles (informatique)
Architecture logicielle
Systèmes informatiques -- Mesures de sûreté
Mesures de sûreté
Modélisation
Sécurité des systèmes
Ingénierie des systèmes
Systèmes embarqués (informatique)
Preuve
Représentation des connaissances
Raisonnement ontologique
Formalismes logiques
Event-B
Raffinement
B (méthode formelle)
Ontologies (informatique)
Conception de systèmes informatiques
Ingénierie Dirigée par les Modèles