Daniel Basgöze

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Fault Diagnosis

Qualitative Analysis

Top Venues

Publications

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees. NFM (2022)
Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Mariëlle Stoelinga
BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. CoRR (2022)