Analyses de sûreté de fonctionnement multi-systèmes
Cette thèse se situe au croisement de deux domaines : la sûreté de fonctionnement des systèmes critiques et les méthodes formelles. Nous cherchons à établir la cohérence des analyses de sûreté de fonctionnement réalisées à l'aide de modèles représentant un même système à des niveaux de détail d...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Sciences et Technologies - Bordeaux I
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00441310 http://tel.archives-ouvertes.fr/docs/00/44/13/10/PDF/These_RBernard09.pdf http://tel.archives-ouvertes.fr/docs/00/44/13/10/ANNEX/these_RB.ppt |