李倩

作品数：1被引量：0H指数：0
导出分析报告
供职机构：华东师范大学软件学院上海市高可信计算重点实验室更多>>
发文主题：CR系统形式化验证混成系统子系统生命支持系统更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学》更多>>
所获基金：上海市教育委员会重点学科基金上海市教育委员会创新基金创新研究群体科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
空间生命支持系统中VCCR子系统的安全性验证
《计算机科学》2014年第6期193-198,共6页李倩 郁文生 
国家自然科学基金(61370176;61070048);国家自然科学基金委员会创新研究群体科学基金(61021004);国家"863"计划(2011AA010101);国家"973"计划(2011CB302802);上海市重点学科建设项目(B412);上海市教育委员会科研创新项目(11ZZ37)资助
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证...
关键词：混成系统 生命支持系统 VCCR系统 形式化验证 KeYmaera工具 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部