From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems
mag（2015）
关键词
simulation,computer engineering,embedded systems,engineering,cyber physical systems,modeling,computer science
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要