From Verified Models to Verified Code for Medical Devices

  • closed-loop
  • medical CPS
  • verified model
  • University of Pennsylvania
  • CPS Domains
  • Health Care
  • Medical Devices
  • Foundations
  • Concurrency and Timing
  • Control
  • Modeling
  • Simulation
  • Validation and Verification
  • 2014
  • 2014 National Workshop on Research Frontiers in Medical CPS
  • Presentation
  • White Paper
  • Academia
  • White Papers
  • White Papers
Submitted by Miroslav Pajic on Thu, 02/06/2014 - 16:31