Olivier Zendra
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Systèmes embarqués (informatique)
Systèmes informatiques -- Mesures de sûreté
Apprentissage automatique
Systèmes embarqués
Langages de programmation orientés objet
Sécurité
Classification des logiciels malveillants
Analyse des logiciels malveillants
Exécution symbolique
Partitionnement de données
Langages à objets
Compilation
Généricité
Analyse de types
Protection de l'information (informatique)
C plus-plus (langage de programmation)
Programmation orientée objets (informatique)
Java (langage de programmation)