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.

MDG-SAT: an automated methodology for efficient safety checking
Khaza Anuarul Hoque; Otmane Ait Mohamed; Sa'ed Abed; Mounir Boukadoum
International Journal of Critical Computer-Based Systems (IJCCBS), 2012 Vol.3 No.1/2, pp.4 - 25
4 + 8 =

Thank you for your feedback.