共 50 条
- [43] Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude [J]. Formal Methods in System Design, 2006, 29 : 253 - 293
- [44] RTRBench: A Benchmark Suite for Real-Time Robotics [J]. 2022 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS 2022), 2022, : 175 - 186
- [46] Design and Implementation of a Real-time Geographical Query Answering System [J]. 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE, ELECTRONICS AND ELECTRICAL ENGINEERING (ISEEE), VOLS 1-3, 2014, : 1220 - +
- [49] Design and implementation of an integrated environment for networked real-time simulation [J]. 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VII, PROCEEDINGS: APPLICATIONS OF INFORMATICS AND CYBERNETICS IN SCIENCE AND ENGINEERING, 2004, : 338 - 342
- [50] FPGA Real-time FFT Portable Core, Design and Implementation [J]. 2018 IEEE INTERNATIONAL AUTUMN MEETING ON POWER, ELECTRONICS AND COMPUTING (ROPEC), 2018,