Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.

Axel Habermaier Alexander Knapp Johannes Leupolz Wolfgang Reif

Published in: FMICS-AVoCS (2016)

Keyphrases

safety analysis
fault model
formal specification
nuclear power plant
cooperative
fault diagnosis
specification language