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

M语言: 作品数：19被引量：35H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：王英春徐鑫郑盛索继东蒙海英更多>>; 相关机构：南京航空航天大学大连海事大学大连理工大学杨凌职业技术学院更多>>; 相关期刊：《洁净与空调技术》《计算机光盘软件与应用》《池州学院学报》《科学技术与工程》更多>>; 相关基金：陕西省自然科学基金国家高技术研究发展计划上海第二工业大学校基金中国航空科学基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

利用特征配置的SLIM安全性验证方法被引量：3: 《小型微型计算机系统》2017年第10期2346-2351,共6页李宙洲魏欧黄鸣宇; 国家"九七三"重点基础研究发展计划项目(2014CB744904)资助;国家自然科学基金项目(61170043)资助;航空科学基金项目(20155552047)资助; 安全关键系统的愈发复杂,使得系统的安全性和开发成本面临着越来越大的挑战.由ESA赞助的COMPASS项目,使用SLIM对诸如航天器系统这样的安全关键系统进行建模,不仅可以描述系统标定的软硬件行为,还可以描述系统的概率性故障、故障对系统...; 关键词：安全关键系统 SLIM语言 F Promela语言安全性验证模型检测