Parametric Analyses of Attack-fault Trees

Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga. Parametric Analyses of Attack-fault Trees. Fundamenta Informaticae, 182(1):69-94, 2021. [doi]

Abstract

Abstract is missing.