From diagnosis to diagnosability: axiomatization, measurement and application

Autor: Le Traon, Yves, Ouabdesselam, Farid, Robach, Chantal, Baudry, Benoit
Zdroj: In The Journal of Systems & Software 2003 65(1):31-50
Databáze: ScienceDirect