Jang, S. and Choi, C. (2023) “VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM”, International Journal of Industrial Engineering: Theory, Applications and Practice, 30(5). doi: 10.23055/ijietap.2023.30.5.8373.