Model Synthesis New Challenges in Model Based Design

  • University of Pennsylvania
  • CPS Domains
  • Communication
  • Health Care
  • Medical Devices
  • Robotics
  • Transportation
  • Automotive
  • CPS Technologies
  • Design Automation Tools
  • Embedded Software
  • Platforms
  • Systems Engineering
  • Foundations
  • Concurrency and Timing
  • Control
  • Modeling
  • Hybrid Models
  • Simulation
  • Validation and Verification
  • Testing
  • 2012
  • National CPS PI Meeting 2012
  • Presentation
  • Academia
  • Session 1: Science of CPS
Submitted by Rajiv Alur on Wed, 10/03/2012 - 13:58