Akram Idani
Mots clés
FR |
EN
B (méthode formelle)
Ingénierie dirigée par les modèles
Information systems
Formal methods
Z
UML
Intégration de méthodes
Méta-modélisation
Analyse formelle de concepts
UML (informatique)
Rétro-ingénierie (informatique)
Ingénierie dirigée par les modèles (IDM)
Politiques de sécurité
Systèmes d'information
Systèmes informatiques -- Mesures de sûreté
Attaques internes
B
Preuve
Résolution de contraintes
Model-Checking