A compositional semantics for Repairable Fault Trees with general distributions.

Raúl E. Monti Pedro R. D'Argenio Carlos E. Budde

Published in: CoRR (2019)

Keyphrases

compositional semantics