Design Automation for Cyber-Physical Systems [Scanning the Issue]
暂无分享,去创建一个
[1] Wolfram Schulte,et al. FORMULA 2.0: A Language for Formal Specifications , 2013, ICTAC Training School on Software Engineering.
[2] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[3] James Davis,et al. GME: the generic modeling environment , 2003, OOPSLA '03.
[4] Gabor Karsai,et al. Constraint-Based Design-Space Exploration and Model Synthesis , 2003, EMSOFT.
[5] Sandeep Neema,et al. Detc 2012-71378 towards Automated Evaluation of Vehicle Dynamics in System-level Designs , 2012 .
[6] Roberto Passerone,et al. Platform-Based Design and Frameworks: METROPOLIS andMETRO II , 2018, Model-Based Design for Embedded Systems.
[7] Edward A. Lee,et al. Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).