A compositional semantics for Repairable Fault Trees with general distributions.

Published in: LPAR (2020)

Keyphrases