Chrystel Gaber
IdRefMots clés
FR |
EN
Isolation mémoire
Vérification formelle
Systèmes d’exploitation (ordinateurs)
Internet des objets
Microcontrôleurs
Systèmes embarqués (informatique)
Ordinateurs -- Mémoires
Assistants de preuve
Logiciels -- Vérification
Téléphonie mobile
Commerce mobile
Monnaie électronique
Systèmes informatiques -- Mesures de sûreté -- Examens
Cybercriminalité