A Aralex Aachen research explorer

Latin-American Symposium on Dependable Computing Sign in to save

Search and filter its papers →

2

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

21

Papers 1

Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
2021 Latin-American Symposium on Dependable Computing conference-paper Decision Sciences Risk and Safety Analysis Open access

Shahid Ali Khan, Joost-Pieter Katoen, Matthias Volk, Zafar Ahmad, Falak Sher

3

citations

1 result

Most active Aachen authors

Joost-Pieter Katoen 20,330 citations overall
1 paper
Shahid Ali Khan 85 citations overall
1 paper