Aircraft operational reliability - A Model-based approach and case studies
Lors de la conception des avions, il est courant que les constructeurs évaluent la sûreté de fonctionnement en utilisant des modèles stochastiques, mais l'évaluation de la fiabilité opérationnelle à l'aide de modèles en ligne, pendant la réalisation des missions, reste rarement effectuée....
Main Author: | Tiassou, Kossi |
---|---|
Language: | English |
Published: |
INSA de Toulouse
2013
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00807442 http://tel.archives-ouvertes.fr/docs/00/80/74/42/PDF/Thesis_Tiassou.pdf |
Similar Items
-
Development and verification of probability logics and logical frameworks
by: Maksimovic, Petar
Published: (2013) -
Développement et Vérification des Logiques Probabilistes et des Cadres Logiques
by: Maksimovic, Petar
Published: (2013) -
Développement et vérification des logiques probabilistes et des cadres logiques
by: Maksimović, Petar
Published: (2013) -
Exploiting Model Structure in CEGAR Verification Method
by: Chucri, Farès
Published: (2012) -
Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
by: Garnacho, Manuel
Published: (2010)