From diagnosis to diagnosability: axiomatization, measurement and application

Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry. From diagnosis to diagnosability: axiomatization, measurement and application. Journal of Systems and Software, 65(1):31-50, 2003. [doi]

Abstract

Abstract is missing.