Le moteur de recherche
des thèses françaises
Emmanuelle Encrenaz
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Systèmes embarqués (informatique)
Systèmes informatiques -- Mesures de sûreté
Méthodes formelles
Systèmes embarqués
Microprocesseurs multi-coeurs
Sécurité
Dynamique holomorphe
Compilation (informatique)
Protection de l'information (informatique)
Simulation
Gestionnaires d’énergie
Gestionnaires de température
Attaque par déni de service
Attaque par canaux auxiliaires
Systèmes virtuels (informatique)
Langages de programmation
Vérification formelle
Satisfaisabilité booléenne
SAT