From Verified Models to Verified Code for Medical Devices
License:
Creative Commons 2.5 
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