IFAC Proceedings Volumes · 1991 · 518 citations · 26 references
Hardware SecurityReliability EngineeringEngineeringProgram AnalysisSoftware TestingVerificationFault AnalysisFormal MethodsSoftware AnalysisSystems EngineeringComputer ScienceFault DetectionFormal VerificationFault InjectionAnalytical Redundancy MethodsFailure Detection
26