Le moteur de recherche
des thèses françaises
Gilles Grimaud
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Internet des objets
Mesures de sûreté
Systèmes informatiques -- Mesures de sûreté
Systèmes d'exploitation (ordinateurs)
Systèmes de détection d'intrusion (informatique)
Fiabilité
Apprentissage automatique
Logiciels -- Vérification
Informatique dans les nuages
Isolation mémoire
Mesures de sécurité
Protection de l'information (informatique)
Temps réel (informatique)
Cartes à mémoire
Gestion mémoire (informatique)
Sécurité
Cybercriminalité
Vérification formelle
Assistants de preuve