动态模型检验相关硕士博士期刊学术论文 - 信丰网

动态模型检验相关论文

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验，动态模型检验过程......

期刊

计算树逻辑动态模型检验不变性迭代设计 Moore机 computation tree logic dynamic model checking inv

看过本文同时还关注