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]

Authors

Ghaith Bany Hamad

This author has not been identified. Look up 'Ghaith Bany Hamad' in Google

Marwan Ammar

This author has not been identified. Look up 'Marwan Ammar' in Google

Otmane Aït Mohamed

This author has not been identified. Look up 'Otmane Aït Mohamed' in Google

Yvon Savaria

This author has not been identified. Look up 'Yvon Savaria' in Google