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

Analysis of Interrupt Behavior Based on Probabilistic Model Checking

Hits:

Date of Publication:2022-10-04

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

Affiliation of Author(s):软件学院

Page Number:86-91

Pre 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