您的位置： 专家智库 > >

李倩

作品数：1 被引量：0H指数：0
供职机构：华东师范大学软件学院上海市高可信计算重点实验室更多>>
发文基金：上海市教育委员会重点学科基金上海市教育委员会创新基金创新研究群体科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇生命支持系统
  • 1篇子系统
  • 1篇混成系统
  • 1篇CR系统
  • 1篇VC

机构

  • 1篇华东师范大学

作者

  • 1篇李倩
  • 1篇郁文生

传媒

  • 1篇计算机科学

年份

  • 1篇2014
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
空间生命支持系统中VCCR子系统的安全性验证
2014年
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证工具进行验证,证明了空间生命支持系统中VCCR子系统的安全性。
李倩郁文生
关键词：混成系统生命支持系统形式化验证
全选 清除 导出
共1页<1>
聚类工具0