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 2025 Feb. 21];30(5). Available from: https://ijietap.journals.publicknowledgeproject.org/index.php/ijie/article/view/8373