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 2026 Jun. 19];30(5). Available from: https://www.ijietap.com/index.php/ijie/article/view/8373