Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits

Ghaith Bany Hamad, Otmane Ait Mohamed and Yvon Savaria

Article (2017)

An external link is available for this item

Department:	Department of Electrical Engineering
PolyPublie URL:	https://publications.polymtl.ca/38638/
Journal Title:	Journal of Electronic Testing: Theory and Applications (vol. 33, no. 5)
Publisher:	Springer
DOI:	10.1007/s10836-017-5682-9
Official URL:	https://doi.org/10.1007/s10836-017-5682-9
Date Deposited:	18 Apr 2023 15:04
Last Modified:	18 Apr 2023 15:04

Cite in APA 7:	Hamad, G. B., Ait Mohamed, O., & Savaria, Y. (2017). Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits. Journal of Electronic Testing: Theory and Applications, 33(5), 607-620. https://doi.org/10.1007/s10836-017-5682-9
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