Le moteur de recherche
des thèses françaises
Leïla Kloul
IdRefMots clés
FR |
EN
Sûreté de fonctionnement
AltaRica
Véhicule autonome
Véhicules autonomes
Modèles formels
Simulation par ordinateur
Pattern
Performance
Fiabilité
Disponibilité
Modélisation des données (informatique)
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
Systèmes informatiques -- Mesures de sûreté
Audit informatique