New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking

Ghaith Bany Hamad, Marwan Ammar, Otmane Aït Mohamed, Yvon Savaria. New Insights Into Soft-Faults Induced Cardiac Pacemakers Malfunctions Analyzed at System-Level via Model Checking. IEEE Access, 6:62107-62119, 2018. [doi]

Abstract

Abstract is missing.