h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Müller, Sascha
AU  - Mikaelyan, Liana
AU  - Gerndt, Andreas
AU  - Noll, Thomas
TI  - Synthesizing and optimizing FDIR recovery strategies from fault trees
JO  - Science of computer programming
VL  - 196
SN  - 0167-6423
CY  - Amsterdam [u.a.]
PB  - Elsevier Science
M1  - RWTH-2020-08759
SP  - 102478
PY  - 2020
LB  - PUB:(DE-HGF)16 ; PUB:(DE-HGF)7
UR  - <Go to ISI:>//WOS:000540668900003
DO  - DOI:10.1016/j.scico.2020.102478
UR  - https://publications.rwth-aachen.de/record/796082
ER  -