位置：成果数据库 > 期刊 > 期刊详情页
基于形式化测试的实时系统变更后安全性验证
  • ISSN号：1674-7267
  • 期刊名称：中国科学:信息科学
  • 时间：2014
  • 页码：70-90
  • 相关项目：基于环境的信息物理系统时空需求建模方法研究
作者： 刘静|陈小红|杜德慧|周庭梁|
同期刊论文项目
基于环境的信息物理系统时空需求建模方法研究
期刊论文 14 会议论文 10
同项目期刊论文
信息物理融合系统的时间需求一致性分析
面向安全攸关系统中小概率事件的统计模型检测
Capturing SoftwareRequirements From the Expected Interactions Between the Software and itsEnvironmen
基于问题框架方法的需求建模：一个本体制导的方法
基于环境的多形态时间需求建模方法
不确定环境下智能大厦空调系统调度策略评估
信息物理融合系统的时间求致性分析
基于STeC-Stateflow转换系统的实时系统仿真与验证方法