共 50 条
- [4] A simple language for real-time cryptographic protocol analysis PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 114 - 128
- [5] Mapping Complex Timing Constraints to Simple Real-Time Scheduling Parameters 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [7] Sensitivity analysis of complex embedded real-time systems Real-Time Systems, 2008, 39 : 31 - 72
- [8] RECURSIVE COMPLEX FOURIER ANALYSIS FOR REAL-TIME APPLICATIONS PROCEEDINGS OF THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, 1966, 54 (06): : 903 - +
- [9] Real-time projection and dynamics analysis of quadruped robot 2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND BIOMIMETICS (ROBIO), 2015, : 1084 - 1089