Le moteur de recherche
des thèses françaises
Konrad Rieck
IdRefMots clés
FR |
EN
Sécurité
Systèmes embarqués
Analyse dynamique
Exécution symbolique
Vérification
Matériel
Test
Systèmes informatiques -- Mesures de sûreté
Systèmes embarqués (informatique)
Mesures de sûreté
Code source (informatique)
Logiciels -- Vérification
Réseaux cellulaires
Comportements humain de mobilité et communication
Modèles génératifs profonds de comportements
Charging Data Records (CDRs)
Modélisation et détection de la fraude à la SIMBox
Signalisation cellulaire
Téléphonie mobile
Communication