Le moteur de recherche
des thèses françaises
Olivier Zendra
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes embarqués (informatique)
Analyse statique
Compilation (informatique)
Systèmes embarqués
Langages de programmation orientés objet
Apprentissage automatique
Sécurité
Systèmes informatiques -- Mesures de sûreté
Compilation Incrémentale
Compilation Reproductible
Variabilité Logicielle
Sciences du Logiciel
Assemblage (informatique)
Gestion de configurations des logiciels
Systèmes embarqués autonomes
Algorithmes hybrides
Basse énergie
Fonctions multimodales
Gestion mémoire