Leïla Kloul
IdRefMots clés
FR |
EN
Sûreté de fonctionnement
AltaRica
Véhicule autonome
Modèles formels
Véhicules autonomes
Optimisation
Simulation par ordinateur
Apprentissage automatique
Analyse de la sûreté de fonctionnement
Datacenter
Centres de traitement informatique
Systèmes informatiques
Systèmes informatiques -- Mesures de sûreté
Audit informatique
Méthodes formelles (informatique)
Cybersécurité
Modèle formel
Pattern
Performance
Fiabilité