Le moteur de recherche
des thèses françaises
Nicolae Brinzei
IdRefMots clés
FR |
EN
Sûreté de fonctionnement
Fiabilité
Systèmes dynamiques
Ingénierie des systèmes
Réseaux de Petri
Langages probabilistes
Chaînes de Markov
Séquences d’événements
Analyse de criticité
Approche modulaire
Traitement d'événements (informatique)
Processus de Markov
Satisfiabilité
Arbres de défaillances
Évaluation probabiliste
Systèmes critiques
Tolérance aux fautes (ingénierie)
Arbres (théorie des graphes) -- Informatique
Intervalles de confiance
Évaluation de performances