Publication | Closed Access

Formal verification of behaviour networks including sensor failures

Reliability EngineeringEngineeringFault ManagementProbabilistic VerificationVerificationFormal MethodsSystems EngineeringComputer ScienceFormal VerificationFailure Detection