Publication | Closed Access

Event-Based Automaton Model for identification of discrete-event systems for fault detection

Reliability EngineeringEngineeringDiscrete Event SystemSoftware TestingAutomationVerificationFormal MethodsProcess ControlSystems EngineeringEvent-based Automaton ModelFault AnalysisComputer ScienceFault DetectionFormal VerificationAutomatic Fault DetectionDiscrete-event Systems