Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation
2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems
  • Home
  • Final Report
  • Program/Presentations
  • Final Speakers' Bios
  • Final Registrants List
  • Files
CPS-VO » Medical-CPS » National Workshops on Medical Cyber-Physical Systems » 2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems

Visible to the public From Verified Models to Verified Code for Medical Devices

  • View
  • Properties
Submitted by pajic on Thu, 02/06/2014 - 6:31pm. Contributors:
  • Miroslav Pajic
  • Rahul Mangharam
License: 
Creative Commons 2.5

Other available formats:

From Verified Models to Verified Code for Medical Devices
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 1.08 MB
  • 104 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • CPS Domains
  • Medical Devices
  • Concurrency and Timing
  • Control
  • Modeling
  • Health Care
  • Simulation
  • Validation and Verification
  • Foundations
  • closed-loop
  • medical CPS
  • verified model
  • University of Pennsylvania
  • White Papers
  • White Papers
  • 2014 National Workshop on Research Frontiers in Medical CPS
  • 2014
  • Academia
  • Presentation
  • White Paper

Terms of Use  |  ©2023. CPS-VO