状态空间压缩相关硕士博士期刊学术论文 - 搜论网

状态空间压缩相关论文

基于时间自动机的嵌入式软件压缩与验证

利用时间自动机对嵌入式系统进行建模是一种有效方式,但由于时间自动机引入时间维度,导致状态空间是无限的,增加了系统分析验证的......

期刊

时间自动机模型验证嵌入式软件状态空间压缩可满足性模理论 timed automata model checking embedded software

Petri网状态空间压缩与状态可达性检索研究

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们......

学位

Petri网状态空间压缩混合编码哈希检索状态可达性

看过本文同时还关注