中断建模相关硕士博士期刊学术论文 - 搜论网

中断建模相关论文

基于时间Petri网的嵌入式系统中断建模与验证

嵌入式系统为中断驱动系统,但中断触发的随机性和不确定性导致中断缺陷很难被追踪发现,并且一旦发生中断故障,往往会使整个嵌入式......

期刊

中断建模有界模型检测时间自动机可满足性模理论时间PETRI网 Interrupt modeling Bounded model checking T

看过本文同时还关注