Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim. Verification of the DEVS model implementation using aspect embedded DEVS. In Gabriel Andrés Wainer, Clifford A. Shaffer, Robert M. McGraw, Michael J. Chinni, editors, Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009. SCS/ACM, 2009. [doi]
Abstract is missing.