Sébastien Salva
IdRefMots clés
FR |
EN
Sécurité
Test
Cryptographie
Systèmes informatiques -- Mesures de sûreté
Smm
Modèles formels
Métriques logicielles
Apprentissage automatique
Génie logiciel
Méthodes formelles (informatique)
Services Web
Inférence de modèles
Système expert
Système de production
Test passif
Conformité
Systèmes experts (informatique)
Big data
Informatique en nuage
Confidentialité