共 50 条
- [42] Probabilistic performance metric for real-time system design Hardware/Software Codesign - Proceedings of the International Workshop, 1999, : 90 - 94
- [45] Probabilistic resource failure in real-time process algebra CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 389 - 404
- [46] Using Randomized Caches in Probabilistic Real-Time Systems PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2009, : 129 - +
- [49] Probabilistic Real-Time Rewrite Theories and Their Expressive Power FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2011, 6919 : 60 - 79
- [50] Probabilistic Reasoning for Real-time UAV Decision and Control SENSORS AND SYSTEMS FOR SPACE APPLICATIONS XII, 2019, 11017