TY - SER AU - Kennedy, Mary Ann AU - Meyer, Gerard G.L. TI - The Pmc System Level Fault Model: Cardinality Properties OfImplied Faulty Sets KW - Diagnosis Algorithms KW - Faults KW - Implied Faulty Set ER -