Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
License:
Creative Commons 2.5 PDF document
- 474.24 KB
- 18 downloads
- Download
- PDF version
- Printer-friendly version
- Medical Devices
- Health Care
- Science of Security
- biological networks
- hybrid systems
- invariants
- pacemakers.
- Safety
- UIUC
- verification
- health care
- medical devices
- NSA SoS Lablets Materials
- Science of Security
- UIUC
- NSA SoS Lablets Materials
- Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems