Leïla Kloul
Mots clés
FR |
EN
Sûreté de fonctionnement
AltaRica
Modélisation des données (informatique)
Véhicule autonome
Véhicules autonomes
Modèles formels
Optimisation
Apprentissage automatique
Simulation par ordinateur
Pattern
Performance
Fiabilité
Disponibilité
Disponibilité (systèmes)
AltaRica (méthode formelle)
Méthodes formelles (informatique)
Analyse de la sûreté de fonctionnement
Datacenter
Centres de traitement informatique
Systèmes informatiques