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
14
Link opens in a new tab
Citations
(Scopus)