Publication | Closed Access

Consistency-based diagnosis of configuration knowledge bases

EngineeringConfiguration Knowledge BasesAutomated ReasoningVerificationKnowledge DiscoveryFormal MethodsConfiguration ManagementSystems EngineeringComputer ScienceSystem DiagnosisProblem DiagnosisFormal Verification