Currently browsing

Reliable Systems – Fault tree analysis via Markov reward automata

Dennis Guck promotor: prof.dr.ir. J.-P. Katoen (RWTH Aachen and UT) copromoter: dr. M.I.A. Stoelinga (UT) Date: 23 March 2017, 16:45 Summary Today’s society is characterised by the ubiquitousness of hardware and software systems on which we rely on day in, day out. They reach from transportation systems like cars, trains …