共 50 条
- [26] A Generic Coq Proof of Typical Worst-Case Analysis 2018 39TH IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2018), 2018, : 218 - 229
- [27] Scope-tree: a program representation for symbolic worst-case execution time analysis EUROMICRO RTS 2002: 14TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2002, : 50 - 59
- [30] On the minimization of the instantaneous temperature for periodic real-time tasks RTAS 2007: 13TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2007, : 236 - +