Cited By
View all- Chen GJiang Z(2021)Environment Modeling During Model Checking of Cyberphysical SystemsComputer10.1109/MC.2021.308763154:9(49-58)Online publication date: 1-Sep-2021
Rate-adaptive pacemakers are cardiac devices able to automatically adjust the pacing rate in patients with chronotropic incompetence, i.e., whose heart is unable to provide an adequate rate at increasing levels of physical, mental, or emotional ...
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 ...
Ventilatory pacing by electrical stimulation of the phrenic nerve has many advantages compared to mechanical ventilation. However, commercially available respiratory pacing devices operate in an open-loop fashion, ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in