Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Thi Viet Nga
Nguyen
IdRef
Mots clés
FR
|
EN
Sûreté de fonctionnement
Cybersécurité
Analyse statique
Mécatronique
AltaRica
Modèle formel
Bytecode
Logiciel malveillant
Apprentissage automatique
Android
Sécurité
Analyse
Code calcul
Logiciel
Procédure
Variable
Programme
Vérification
Logiciels -- Vérification
Langages de programmation
Afficher plus de mots-clés
Afficher tous les mots-clés (59)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)
Directeur / Directrice de 5 thèse(s)
Rapporteur / Rapporteuse pour 1 thèse(s)
Examinateur / Examinatrice pour 6 thèse(s)
