Publication | Closed Access

Research on a knowledge modelling methodology for fault diagnosis of machine tools based on formal semantics

Formal SemanticsFault DiagnosisReliability EngineeringEngineeringAutomated ReasoningKnowledge ModelingVerificationFault AnalysisFormal MethodsSystems EngineeringSoftware EngineeringSystem DiagnosisIndustrial InformaticsSoftware AnalysisAutomatic Fault DetectionSoftware DesignFormal VerificationMachine Tools