首页>
根据【关键词:模型检测,综合模块化航空电子系统,系统分析,安全性】搜索到相关结果 2 条
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者：
李勇
曹子宁
来源：
计算机技术与发展
年份：
2017
文献类型 ：
期刊
关键词：
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述：
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者：
李勇
曹子宁
来源：
计算机技术与发展
年份：
2019
文献类型 ：
期刊
关键词：
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述：
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
