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é
Sécurité
Méthodes formelles
Langages de programmation
Systèmes embarqués
Microprocesseurs multi-coeurs
Fiabilité
Circuits intégrés
Dynamique holomorphe
Compilation (informatique)
Exploration de données
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)