Jang, Sooyoung, and Changbeom Choi. “VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM”. International Journal of Industrial Engineering: Theory, Applications and Practice 30, no. 5 (October 17, 2023). Accessed April 30, 2026. https://ijietap.com/index.php/ijie/article/view/8373.