These Informatique. Toulouse, 1985.
Abstract: Plusieurs aspects relatifs à la conception, la spécification et la mise en oeuvre d'architectures tolérances aux fautes TMR/NMR sont examinés à l'aide de réseau de Petri stochastiques. Une démarche générale pour l'analyse du ``temps de mission'' d'un programme constitué de plusieurs modules communicants est détaillée. Une analyse est présentée de la sensibilité des performances du système.