XSPIN 相关硕士博士期刊学术论文 - 搜论网

XSPIN相关论文

基于UML的嵌入式系统模型验证技术的研究

统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,能对复杂嵌入式系统建模,并有很多成功的应用,但UML是一种半形式化......

期刊

建模 UML 形式化 XSPIN 模型验证 modeling UML formation XSPIN model verification

SPIN模型检测的研究与应用

软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一，尤其在一些诸如核反应堆控制、航空航天以及铁路调度......

学位

模型检测 SPIN Promela XSPIN Cygwin 通道仿真验证密码协议

看过本文同时还关注