Research Output 2012 2013

  • 2 Conference contribution
  • 1 Report
Filter
Report
2013

DFTCalc: a tool for efficient fault tree analysis (extended version)

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A. Jun 2013 Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-13-13)

Research output: ProfessionalReport

Fault tree analysis
Biomedical equipment
Model checking
Stochastic models
Risk management