An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study.

Abderraouf Boussif, Mohamed Ghazel

Browse the full VECoS paper archive.