Closing the Loop with Medical Devices

  • CPS Domains
  • Health Care
  • Medical Devices
  • CPS Technologies
  • Design Automation Tools
  • Embedded Software
  • Foundations
  • Concurrency and Timing
  • Real-time Systems
  • Modeling
  • Real-Time Coordination
  • Simulation
  • Validation and Verification
  • Quantitative Verification
  • Probabilistic and Statistical Verification
  • Testing
  • 2013
  • National CPS PI Meeting 2013
  • Presentation
  • Academia
  • Session 7: Innovators Forum
Submitted by Rahul Mangharam on