Calculation of aggregation formulas for GSN argument types using belief functions
Résumé
This document is a technical report providing calculation details of agregation rules for safety case confidence propagation. Belief theory is used to express and propagate this confidence, and safety cases are modeled with GSN (Goal Structuring Notation).
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|