Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

A µ-calculus formulation of the diagnosability of discrete event systems
Florent Peres; Mohamed Ghazel
International Journal of Critical Computer-Based Systems (IJCCBS), 2016 Vol.6 No.4, pp.275 - 301
11 + 12 =

Thank you for your feedback.

Return to top