施健

作品数：1被引量：3H指数：1
导出分析报告
供职机构：华东师范大学更多>>
发文主题：交互行为集中式控制自适应软件软件体系结构软件模型更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》更多>>
所获基金：国家部委资助项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于STP方法的SCADE模型形式化验证框架被引量：3
《计算机工程》2019年第10期70-77,共8页林荣峰 施健 朱晏庆 沈怡颹 周宇 
国家部委基金
高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSM...
关键词：航天器系统 形式化验证 高安全性应用开发环境 安全攸关领域 模型检查 时序性质 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部