Choi, Changbeom, Department of Computer Engineering, Hanbat National University, Korea, Republic of

• International Journal of Industrial Engineering: Theory, Applications and Practice Vol. 30 No. 5 (2023) - Modelling and Simulation
  VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM
  Abstract