Release Time:2022-10-15  Hits:

Date of Publication: 2022-10-08

Journal: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

Institution: 电子信息与电气工程学部

Volume: 20

Issue: 5

ISSN: 1539-9087

Key Words: "Timed automata; schedulability test; demand bound function"