共 50 条
- [22] A Comparative Study of Decision Diagrams for Real-Time Model Checking MODEL CHECKING SOFTWARE, SPIN 2018, 2018, 10869 : 216 - 234
- [23] Using Incremental Mining to Generate Fuzzy Rules for Real-Time Network Intrusion Detection Systems 2008 22ND INTERNATIONAL WORKSHOPS ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOLS 1-3, 2008, : 50 - 55
- [26] Specification and analysis of real-time systems using Real-Time Maude FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 354 - 358
- [29] Two variable real-time algorithm for cone crusher control XXV International Mineral Processing Congress 2010, IMPC 2010, 2010, 2 : 813 - 819
- [30] Real-time 3D cone beam reconstruction 2004 IEEE NUCLEAR SCIENCE SYMPOSIUM CONFERENCE RECORD, VOLS 1-7, 2004, : 3648 - 3652