云南高校图书馆联盟文献共享服务平台- PROMELA

PROMELA: 作品数：43被引量：73H指数：5; 导出分析报告; 相关作者：李祥吴尽昭黄志球唐郑熠孙守卿更多>>; 相关机构：贵州大学南京航空航天大学南昌大学北京交通大学更多>>; 相关期刊：《计算机技术与发展》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

AltaRica 3.0模型到Promela模型转换与验证方法研究被引量：6: 《计算机工程与科学》2017年第4期708-716,共9页胡军陈松王明明; 国家973计划(2014CB744903);回国留学人员科研启动基金;南京航空航天大学青年科技创新基金(NS2014098); AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力...; 关键词：安全关键系统 AltaRica3.0 SPIN 机轮刹车系统