Le moteur de recherche
des thèses françaises
Maritta Heisel
IdRefMots clés
FR |
EN
Exigences
Spécification formelle
Liens
Outils
Vérification
Validation
Logiciels -- Développement
Langages formels
Ingénierie des exigences
Design patterns
Réseaux Sociaux en Ligne
Attaques par Inférence en Ligne
Attribut Privé
Apprentissage automatique
Privacité
Réseaux sociaux (Internet)
Cybercriminalité
Inférence de système
Vie privée
Systèmes embarqués