Publication | Closed Access

A note on fault reactivation

ReliabilitySoftware MaintenanceReliability EngineeringEngineeringFault ReactivationVerificationFault AnalysisFormal MethodsSystems EngineeringFault RecoveryComputer ScienceFormal VerificationFault Injection