Quantitative Verification of Implantable Cardiac Pacemakers
Implantable medical devices, such as cardiac pacemakers, must be designed and programmed to the highest levels of safety and reliability. Recently, errors in embedded software have led to a substantial increase in safety alerts, costly device recalls or even patient death. To address such issues, we...
| Hlavní autoři: | , , , |
|---|---|
| Médium: | Conference item |
| Vydáno: |
2015
|