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

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

Article (2018)

An external link is available for this item

Department:	Department of Electrical Engineering
Research Center:	GR2M - Microelectronics and Microsystems Research Group
PolyPublie URL:	https://publications.polymtl.ca/41947/
Journal Title:	IEEE Access (vol. 6)
Publisher:	IEEE
DOI:	10.1109/access.2018.2876318
Official URL:	https://doi.org/10.1109/access.2018.2876318
Date Deposited:	18 Apr 2023 15:03
Last Modified:	23 Aug 2024 16:38

Cite in 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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistics

Repository Staff Only