Early analysis of soft error effects for aerospace applications using probabilistic model checking

Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria and Claude Thibeault

Paper (2013)

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/12184/
Conference Title:	2nd International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2013)
Conference Location:	Queenstown, New Zealand
Conference Date(s):	2013-10-29 - 2013-10-30
Publisher:	Springer
DOI:	10.1007/978-3-319-05416-2_5
Official URL:	https://doi.org/10.1007/978-3-319-05416-2_5
Date Deposited:	18 Apr 2023 15:09
Last Modified:	29 Sep 2023 13:45

Cite in APA 7:	Hoque, K. A., Ait Mohamed, O., Savaria, Y., & Thibeault, C. (2013, October). Early analysis of soft error effects for aerospace applications using probabilistic model checking [Paper]. 2nd International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2013), Queenstown, New Zealand. https://doi.org/10.1007/978-3-319-05416-2_5
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