Synthesizing Failure Detection, Isolation, and Recovery Strategies from Nondeterministic Dynamic Fault Trees

Müller, Sascha; Gerndt, Andreas; Noll, Thomas

(2018)
Journal Article

In: Journal of Aerospace Information Systems

Institutions

  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]