<  Retour au portail Polytechnique Montréal

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

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

Article de revue (2018)

Un lien externe est disponible pour ce document
Département: Département de génie électrique
Centre de recherche: GR2M - Groupe de recherche en microélectronique et microsystèmes
URL de PolyPublie: https://publications.polymtl.ca/41947/
Titre de la revue: IEEE Access (vol. 6)
Maison d'édition: IEEE
DOI: 10.1109/access.2018.2876318
URL officielle: https://doi.org/10.1109/access.2018.2876318
Date du dépôt: 18 avr. 2023 15:03
Dernière modification: 05 avr. 2024 11:39
Citer en APA 7: Hamad, G. B., 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