A Modular Approach to Non-deterministic Dynamic Fault Trees.

Sascha Mller, Adeline Jordon, Andreas Gerndt, Thomas Noll

Browse the full SAFECOMP paper archive.