Closing the Loop with Medical Devices
License:
Creative Commons 2.5 
PDF document- 8.91 MB
- 152 downloads
- Download
- PDF version
- Printer-friendly version
- CPS Domains
- Medical Devices
- Probabilistic and Statistical Verification
- Design Automation Tools
- Quantitative Verification
- Embedded Software
- Concurrency and Timing
- Real-time Systems
- Testing
- Modeling
- Real-Time Coordination
- Health Care
- Simulation
- Validation and Verification
- CPS Technologies
- Foundations
- National CPS PI Meeting 2013
- 2013
- Session 7: Innovators Forum
- Academia
- Presentation