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 (Oct. 2023). DOI:https://doi.org/10.23055/ijietap.2023.30.5.8373.