共 50 条
- [22] PROTOCOL VERIFICATION USING DISCRETE-EVENT MODELS LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 103 : 100 - 114
- [23] Scaling down discrete-event simulation models Programming and Computer Software, 2006, 32 : 308 - 316
- [25] Storage and retrieval of discrete-event simulation models SIMULATION PRACTICE AND THEORY, 2001, 8 (08): : 555 - 576
- [26] Symbolic models for diagnosing discrete-event systems ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 1085 - 1086
- [28] DISCRETE-EVENT SIMULATION MODELS FOR DIDACTIC SUPPORT BRAZILIAN JOURNAL OF OPERATIONS & PRODUCTION MANAGEMENT, 2016, 13 (03): : 300 - 318
- [29] Optimization of discrete-event simulation models in LATISS MODELLING AND SIMULATION 1996, 1996, : 314 - 318
- [30] Parallel languages for discrete-event simulation models IEEE COMPUTATIONAL SCIENCE & ENGINEERING, 1998, 5 (02): : 27 - 38