Joshua de Bie - How safe is your system?

author:Joshua de Bie
title:How safe is your system?
keywords:probabilistic timed automata, dynamic fault trees, case study, model checking
topics:Case studies and Applications
committee:A. van Harmelen Msc. (1st supervisor)
Dr. C.E. Budde
Prof.dr. M.I.A. Stoelinga
graduation date:2 February 2018


Abstract

References

  1. Model Checking for Probabilistic Timed Automata. (Digital version available here)
  2. Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. (Digital version available here)

Additional Resources