Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation

Mengqi Liu, Zhong Shao, Hao Chen, Man Ki Yoon, Jung Eun Kim

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Fingerprint

Dive into the research topics of 'Compositional virtual timelines: verifying dynamic-priority partitions with algorithmic temporal isolation'. Together they form a unique fingerprint.

Engineering & Materials Science