共 50 条
- [41] Verification of real-time systems design [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2010, 20 (01): : 3 - 37
- [44] An Analysis of Real-time Prostatic Fossa Motion during Radiotherapy [J]. INTERNATIONAL JOURNAL OF RADIATION ONCOLOGY BIOLOGY PHYSICS, 2010, 78 (03): : S686 - S687
- [45] REAL-TIME EXTERNAL SYSTEM EQUIVALENT FOR ONLINE CONTINGENCY ANALYSIS [J]. IEEE TRANSACTIONS ON POWER APPARATUS AND SYSTEMS, 1979, 98 (06): : 2153 - 2171
- [50] SMT-Based Timing Analysis and Verification of Real-Time Task [J]. 2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 711 - 720