Le moteur de recherche
des thèses françaises
Nicole Lévy
IdRefMots clés
FR |
EN
Vérification
Ingénierie dirigée par les modèles
Langages de programmation
Ontologie
Ingénierie des systèmes
Iso 26262
Sécurité routière
Systèmes d'information
Méthodes formelles (informatique)
Vie privée
Intelligence ambiante
MDE/MDA
Raisonnement
Droit à la vie privée
Informatique omniprésente
Web sémantique
Transformation de graphe
Assistance
Preuve
Triplet de Hoare