Le moteur de recherche
des thèses françaises
Tithnara Nicolas Sun
IdRefMots clés
FR |
EN
Cyber-sécurité
Modélisation
Fédération de modèles
Analyse formelle
Model-checking
Advanced Persistent Threat
Langage Pimca
APT (informatique)
Systèmes informatiques -- Mesures de sûreté
Ingénierie des systèmes
Ingénierie dirigée par les modèles
Sécurité des systèmes
Vérification de modèles (informatique)
Méthodes formelles (informatique)