共 50 条
- [1] Modelling, Simulation and Verification of the Screening Process of a Swing-Bar Sieve Based on the DEM [J]. 6TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, MANUFACTURING, MODELING AND SIMULATION (CDMMS 2018), 2018, 1967
- [2] Development of a process modelling tool for simulation [J]. JOURNAL OF SIMULATION, 2007, 1 (03) : 203 - 213
- [3] Modelling and Formal Verification of the NEO Protocol [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 197 - 225
- [4] Process development based on simulation [J]. WOCHENBLATT FUR PAPIERFABRIKATION, 2006, 134 (16): : 910 - 912
- [6] Robustness Modelling and Verification of a Mix Net Protocol [J]. SECURITY STANDARDISATION RESEARCH, SSR 2014, 2014, 8893 : 131 - 150
- [7] Risk-based verification, validation, and accreditation process [J]. MODELING AND SIMULATION FOR DEFENSE SYSTEMS AND APPLICATIONS V, 2010, 7705
- [8] Formal specification and verification of protocol-based handover in a mobile process [J]. JOINT 4TH IEEE INTERNATIONAL CONFERENCE ON ATM (ICATM'01) AND HIGH SPEED INTELLIGENT INTERNET SYMPOSIUM, 2001, : 354 - 358
- [9] Using simulation techniques for continuous process verification in industrial system development [J]. PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 1315 - 1321