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