位置：成果数据库 > 期刊 > 期刊详情页
From Offline towards Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for Medic
  • ISSN号：1045-9219
  • 期刊名称：IEEE Transactions on Parallel and Distributed Syst
  • 时间：0
  • 页码：-
  • 相关项目：混成系统模型检验应用技术研究
作者： Tao Li|Feng Tan|Qixin Wang|Lei Bu|Jiannong Cao|Xue Liu|
同期刊论文项目
混成系统模型检验应用技术研究
期刊论文 6 会议论文 8 著作 1
同项目期刊论文
SAT-LP-IIS Joint-Directed Path-Oriented Bounded Reachability Analysis of Linear Hybrid Automata. In&
基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析
混成系统形式化验证