Le moteur de recherche
des thèses françaises
Thomas Jensen
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Analyse statique
Interprétation abstraite
Sécurité
Méthodes formelles
Langages de programmation -- Sémantique
Langages de programmation
Vérification
Cryptographie
Protection de l'information (informatique)
Compilation (informatique)
Méthodes formelles (informatique)
JavaScript (langage de programmation)
Java (langage de programmation)
Vérification de modèles (informatique)
Smartphones
Logiciels -- Essais
Logiciels -- Validation
Langages formels