Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation

Hae Young LEE  Jin Myoung KIM  

Publication:   IEICE TRANSACTIONS on Information and Systems
Publicized: 2020/04/17
DOI: 10.1587/transinf.2019EDL8219
Full Text: PDF(554.5KB)