Anatomy of a Continuous/Discrete System Execution Model for Timed Execution of Heterogeneous Systems
Global Specification and Validation of Embedded Systems(2007)
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
Global Specification and Validation of Embedded Systems(2007)