Closing the Loop for Medical CPS: From Verified Models to Verified Code for Medical CPS

  • University of Pennsylvania
  • Human-Machine Medical CPS Workshop: Engineering Human Health - Your life Depends on IT!
Submitted by Rahul Mangharam on