Current position: Home >> Scientific Research >> Paper Publications

Analysis of Interrupt Behavior Based on Probabilistic Model Checking

Release Time:2022-11-02  Hits:

Date of Publication: 2022-10-04

Journal: 2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018)

Institution: 软件学院

Page Number: 86-91

Prev One:Based on regular expression matching of evaluation of the task performance in WSN: a queue theory approach.

Next One:Analysis of Interrupt Behavior Based on Probabilistic