New insights into soft-faults induced cardiac pacemakers malfunctions analyzed at system-level via model checking

Ghaith Bany Hamad, Marwan Ammar, Otmane A. Mohamed, Yvon Savaria

Article de revue (2018)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Adresse URL de PolyPublie:
Titre de la revue :
IEEE Access ( vol. 6 )
Maison d'édition:
IEEE
OAI:
oai:publications.polymtl.ca:41947
ORCID
Date du dépôt:
18 avr. 2023 15:03
Dernière modification:
14 oct. 2026 13:52
Citer en APA 7:
Bany Hamad, G., Ammar, M., Mohamed, O. A., & Savaria, Y. (2018). New insights into soft-faults induced cardiac pacemakers malfunctions analyzed at system-level via model checking. IEEE Access, 6, 62107-62119. https://doi.org/10.1109/access.2018.2876318

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document