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