Xiaobo Li, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002. A testing framework for DEVS formalism implementations. In Gabriel Andrés Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach, editors, 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). pages 183-188, SCS/ACM, 2011. [doi]
Abstract is missing.