共 50 条
- [7] PARALLEL DISCRETE-EVENT SIMULATION [J]. IEEE DESIGN & TEST OF COMPUTERS, 1987, 4 (06): : 41 - 44
- [8] VERIFICATION METHOD FOR DISCRETE-EVENT SIMULATION BASED ON DISCRETE-EVENT SYSTEM FORMALISM [J]. INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-THEORY APPLICATIONS AND PRACTICE, 2023, 30 (05): : 1313 - 1327
- [9] Formal Framework for Discrete-Event Simulation [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 5812 - 5817