您当前的位置：
首页 >
文章列表页 >
基于微分动态逻辑的CPS建模与属性验证
学术论文 | 更新时间：2025-07-16
上一篇|下一篇

    • 基于微分动态逻辑的CPS建模与属性验证

    • Transforming HybridUML to Hybrid Program for CPS Property Verification

    • 朱敏 ，李必信 ，陈乔乔 ，吉顺慧 ，李加凯
    • 电子学报 2012年40卷第6期 页码：1126-1132

    • DOI： 10.3969/j.issn.0372-2112.2012.06.010     

      中图分类号：

    移动端阅览

  •  
  •  

  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

73

浏览量

35

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

基于幂表的并行加法器的归纳验证
一种面向嵌入式软件体系结构的形式化建模方法
基于XCFG的BPEL数据流属性分析与验证
双极模拟集成电路计算机辅助剖析和验证系统
基于全局初检与局部列表精检的OTFS两阶段检测方法

相关作者

任兴田
方 娟
侯亚荣
代桂平
王 勇
宋国新
邵志清
张欢欢

相关机构

北京工业大学计算机学院
北京工业大学电控学院
华东理工大学计算机技术研究所
中国科学院软件研究所计算机科学重点实验室
华东理工大学计算机技术研究所上海