共 50 条
- [43] Exploiting Symmetry of Discrete-event Systems with Parallel Components by Relabeling [J]. TENCON 2015 - 2015 IEEE REGION 10 CONFERENCE, 2015,
- [47] 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
- [50] NeMo: A Massively Parallel Discrete-Event Simulation Model for Neuromorphic Architectures [J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (04):