Fingerprint
Dive into the research topics of 'Virtual timeline: A formal abstraction for verifying preemptive schedulers with temporal isolation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Virtual timeline: A formal abstraction for verifying preemptive schedulers with temporal isolation
Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung Eun Kim, Man Ki Yoon
Research output: Contribution to journal › Article › peer-review
15
Scopus
citations