模型检测论文

论文摘要论文包括两部分内容,第一部分通过定义分解互模拟这个概念,对规范的(normed)上下文无关进程上的互模拟做了更为简单的有限刻画,并且对我们定义的分解互模拟这个概念进行了...

论文题目:传值进程与移动进程的模型检测方法论文类型:博士论文论文专业:计算机软件与理论作者:刘剑导师:林惠民关键词:传值系统,移动计算,进程代数,模型检测,传值,移动界程,状态...

论文题目:虚拟企业信息系统若干关键技术研究论文类型:博士论文论文专业:航空宇航制造工程作者:阎志华导师:丁秋林关键词:虚拟企业信息系统,服务,模型检测,蚂蚁算法,蜂群算法文献来...

论文题目:并发系统的模型检测与测试论文类型:博士论文论文专业:计算机软件与理论作者:吴鹏导师:林惠民关键词:并发系统,模型检测,网络协议,移动,基于模型的测试,符号测试用例,一...

本文主要研究内容作者丁明,张书玲,张琛（2019）在《一种航空电子系统体系结构错误行为验证方法》一文中研究指出：针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确...