research
∙
07/12/2021
Teaching Design by Contract using Snap!
With the progress in deductive program verification research, new tools ...
share
research
∙
10/23/2019
Rare Event Simulation for non-Markovian repairable Fault Trees
Dynamic Fault Trees (DFT) are widely adopted in industry to assess the d...
research
∙
10/23/2019
A compositional semantics for Repairable Fault Trees with general distributions
Fault Tree Analysis (FTA) is a prominent technique in industrial and sci...
research
∙
08/08/2018