Formalisation de l'argumentaire de surete d'un systeme programme critique a l'aide d'un reseau bayesien, selon la methode SERENE

• Autores: M. Bouissou
• Localización: Revue de l' electricite et de l' electronique, ISSN 1265-6534, Nº 2, 2000, págs. 90-97
• Idioma: francés
• Texto completo no disponible (Saber más ...)