Publication | Closed Access

Study on the systematic approach of Markov modeling for dependability analysis of complex fault-tolerant features with voting logics

ReliabilityReliability EngineeringEngineeringAutomated ReasoningProgram AnalysisProbabilistic VerificationVerificationFormal MethodsSoftware AnalysisSystems EngineeringComputer ScienceSystem ReliabilityDependable System ArchitectureFormal VerificationVoting LogicsDependability ModellingDependability AnalysisComplex Fault-tolerant Features