Jang, S., & 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). https://doi.org/10.23055/ijietap.2023.30.5.8373