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]
No references recorded for this publication.
No citations of this publication recorded.