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.

Controllability for discrete event systems modelled in VeriJ
Yan Zhang; Béatrice Bérard; Lom Messan Hillah; Fabrice Kordon; Yann Thierry-Mieg
International Journal of Critical Computer-Based Systems (IJCCBS), 2014 Vol.5 No.3/4, pp.218 - 240
3 + 17 =

Thank you for your feedback.

Return to top