Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré. Toward an integrated framework for the simulation, formal analysis and enactment of discrete events systems models. In Proceedings of the 2015 Winter Simulation Conference, Huntington Beach, CA, USA, December 6-9, 2015. pages 3090-3091, IEEE/ACM, 2015. [doi]
Abstract is missing.