Antoine Rauzy
IdRefMots clés
FR |
EN
Fiabilité
AltaRica
AltaRica (méthode formelle)
Fiabilité -- Méthodes statistiques
Statistique -- Méthodes graphiques
Sûreté de fonctionnement
Markov, Processus de
Pattern
Performance
Disponibilité
Modélisation des données (informatique)
Disponibilité (systèmes)
Méthodes formelles
Raffinement
Conception/validation d'architecture
Sûreté de fonctionnement des systèmes
Méthodes formelles (informatique)
Évaluation du risque
Structures de données (informatique)
Boole, Algèbre de