共 50 条
- [41] An Introduction to UMLPDSV for Real-Time Dynamic Signature Verification INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2018, 2018, 920 : 388 - 398
- [42] Real-time data model Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2000, 21 (05): : 549 - 552
- [43] Real-time Dynamic State Estimation Using Synchrophasor Data 2015 NORTH AMERICAN POWER SYMPOSIUM (NAPS), 2015,
- [44] A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 2019 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2019, : 5995 - 5997
- [48] Feasibility of using the linac real-time log data for VMAT treatment verification 10TH INTERNATIONAL SEMINAR ON MEDICAL PHYSICS & 1ST AMDI INTERNATIONAL ONCOLOGY SYMPOSIUM, 2017, 851
- [49] Formal verification of real-time systems with data processing Tóth, Tamás (totht@mit.bme.hu), 1600, Budapest University of Technology and Economics (61):