A case study using a protocol to derive safety functional requirements from Fault Tree Analysis.

Luiz Eduardo Galvo Martins, Tiago de Oliveira

Browse the full RE paper archive.