位置：成果数据库 > 会议 > 会议详情页
Verification of Dependable Architecture based on Prototype Verification System
  • 所属机构名称：华中科技大学
  • 会议名称：2013 International Conference on Computational Intelligence and Information (ICCII 2013)
  • 时间：2013.1.13
  • 成果类型：会议
  • 相关项目：大规模数据处理中的高可靠性GPU集群关键技术研究
作者： 袁凌|范平|
同会议论文项目
大规模数据处理中的高可靠性GPU集群关键技术研究
期刊论文 7 会议论文 5
同项目会议论文
Fault-tolerant Online Backup Service: Formal Modeling and Reasoning
Formal Modeling and Verification of Multi-agent System Architecture
An Energy-Efficient Fault-Tolerant Scheduling Scheme for Aperiodic Tasks in Embedded Real-Time Syste
Modeling and Verification of Dependable Electronic Power System Architecture