Jang S, Choi C. VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM. Int J Ind Eng [Internet]. 2023 Oct. 17 [cited 2024 Nov. 25];30(5). Available from: https://ijietap.journals.publicknowledgeproject.org/ijietap/index.php/ijie/article/view/8373