Towards a sound semantics for dynamic fault trees.

Antoine Rauzy Chaire Blériot-Fabre

Published in: Reliab. Eng. Syst. Saf. (2015)

Keyphrases

dynamic environments
decision trees
fault diagnosis
formal semantics
information systems
keywords
mobile robot
logic programming
relational structures