A -Calculus Framework for the Diagnosability of Discrete Event Systems.

Mohamed Ghazel, Florent Peres

Browse the full VECoS paper archive.