AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement
Les méthodes formelles et la sûreté de fonctionnement sont deux domaines connexes qui s'intéressent à l'analyse des comportements des systèmes critiques. Ces domaines adoptent des points de vue différents mais complémentaires sur les systèmes. Les méthodes formelles considèrent le point de...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Sciences et Technologies - Bordeaux I
2000
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00353284 http://tel.archives-ouvertes.fr/docs/00/35/32/84/PDF/these-point-2000.pdf |