![](/img/cover-not-exists.png)
MDG-SAT: an automated methodology for efficient safety checking
Hoque, Khaza Anuarul, Mohamed, Otmane Ait, Sa', N.A., Abed, ed, Boukadoum, MounirVolume:
3
Year:
2012
Language:
english
Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/ijccbs.2012.045074
File:
PDF, 396 KB
english, 2012