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

Hae Young Lee, Jin Myoung Kim. Systematic Detection of State Variable Corruptions in Discrete Event System Specification Based Simulation. IEICE Trans. Inf. Syst., 103-D(7):1769-1772, 2020. [doi]

Abstract

Abstract is missing.