Fingerprint
Dive into the research topics of 'Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-Driven Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-Driven Systems
Minxue Pan, Shouyu Chen, Yu Pei, Tian Zhang, Xuandong Li
Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review
13
Citations
(Scopus)