Laurent Mounier
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Verification formelle
Concurrence
Atomicité
Vulnerabilité
Microprocesseurs multi-coeurs
Binaire
Analyse de code
Injection de fautes
Fautes multiples
Contre-Mesures logicielles
Évaluation de contre-Mesures
Lazart
Tests d'intrusion (informatique)
Logiciels -- Vérification
Réseaux de capteurs
Modélisation
Sciences et techniques
Informatique. Automatique theorique. Systemes
Genie logiciel