From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems.

著录项

• 作者

  Guo, L.;

  展开▼
• 作者单位

  展开▼
• 年度 2015
• 页码 1-65
• 总页数 65
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  Computer networks; Architecture; Models; Performance(engineering); Theses; Verification; Timing verification; Cyber-physical systems; Design;

  机译：计算机网络;体系结构;模型;性能（工程）;论文;验证;时序验证;网络物理系统;设计;