Publication | Closed Access

On the use of non-coherent fault trees in safety and security studies

Safety EngineeringSafety-critical SystemReliability EngineeringEngineeringNon-coherent Fault TreesInformation SecurityVerificationSafety ScienceFormal MethodsFault AnalysisSystems EngineeringComputer ScienceFault AttackSoftware AnalysisFault InjectionFormal Verification