A testing framework for DEVS formalism implementations

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]

@inproceedings{LiVLSW11,
  title = {A testing framework for DEVS formalism implementations},
  author = {Xiaobo Li and Hans Vangheluwe and Yonglin Lei and Hongyan Song and Weiping Wang 0002},
  year = {2011},
  url = {http://dl.acm.org/citation.cfm?id=2048500},
  researchr = {https://researchr.org/publication/LiVLSW11},
  cites = {0},
  citedby = {0},
  pages = {183-188},
  booktitle = {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)},
  editor = {Gabriel Andrés Wainer and Mamadou K. Traoré and Reiko Heckel and Jan Himmelspach},
  publisher = {SCS/ACM},
}