Conception et réalisation d'un vérificateur de modèles AltaRica
Le formalisme AltaRica, développé au LaBRI conjointement avec des industriels, permet d'analyser un même système grâce à plusieurs méthodes différentes (arbres de défaillances, réseaux de Petri, chaînes de Markov) afin d'effectuer des études de sûreté de fonctionnement. Ces méthodes sont o...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Sciences et Technologies - Bordeaux I
2003
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00007067 http://tel.archives-ouvertes.fr/docs/00/04/71/58/PDF/tel-00007067.pdf |