咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
    • 1 篇 安全科学与工程

主题

  • 1 篇 时序行为精化
  • 1 篇 时序约束语言
  • 1 篇 组件的可组合性
  • 1 篇 信息物理系统
  • 1 篇 l*算法

机构

  • 1 篇 中国科学技术大学

作者

  • 1 篇 陈博
  • 1 篇 李曦
  • 1 篇 周学海

语言

  • 1 篇 中文
检索条件"主题词=时序行为精化"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
安全关键的信息物理系统中时序行为的组合与精化
收藏
分享
引用
计算机研究与发展 2023年 第8期60卷 1895-1911页
作者： 陈博 李曦 周学海 中国科学技术大学软件学院 江苏苏州215123 中国科学技术大学计算机科学与技术学院 合肥230051
信息物理系统(cyber physical systems, CPS)通常被应用于安全关键的场景中,需要进行实时监控,并计算反馈信息,实现对外部环境的自动控制与管理.基于模型驱动的开发方法是针对实时的、异构的CPS进行开发的,而模型的可组合性是其中的核... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件