@incollection{hoque2014early,
  title={Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking},
  author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon and Thibeault, Claude},
  booktitle={Formal Techniques for Safety-Critical Systems},
  volume={419},
  pages={54--70},
  year={2014},
  publisher={Springer},
  url_Paper =  {papers/FTSCS2013.pdf}
}

{"_id":"PhGBu3KZ5iz3Fnsd9","bibbaseid":"hoque-mohamed-savaria-thibeault-earlyanalysisofsofterroreffectsforaerospaceapplicationsusingprobabilisticmodelchecking-2014","authorIDs":["htvCmvEBSwLbxozzn"],"author_short":["Hoque, K. A.","Mohamed, O. A.","Savaria, Y.","Thibeault, C."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking","author":[{"propositions":[],"lastnames":["Hoque"],"firstnames":["Khaza","Anuarul"],"suffixes":[]},{"propositions":[],"lastnames":["Mohamed"],"firstnames":["Otmane","Ait"],"suffixes":[]},{"propositions":[],"lastnames":["Savaria"],"firstnames":["Yvon"],"suffixes":[]},{"propositions":[],"lastnames":["Thibeault"],"firstnames":["Claude"],"suffixes":[]}],"booktitle":"Formal Techniques for Safety-Critical Systems","volume":"419","pages":"54–70","year":"2014","publisher":"Springer","url_paper":"papers/FTSCS2013.pdf","bibtex":"@incollection{hoque2014early,\n title={Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking},\n author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon and Thibeault, Claude},\n booktitle={Formal Techniques for Safety-Critical Systems},\n volume={419},\n pages={54--70},\n year={2014},\n publisher={Springer},\n url_Paper = {papers/FTSCS2013.pdf}\n}\n\n","author_short":["Hoque, K. A.","Mohamed, O. A.","Savaria, Y.","Thibeault, C."],"key":"hoque2014early","id":"hoque2014early","bibbaseid":"hoque-mohamed-savaria-thibeault-earlyanalysisofsofterroreffectsforaerospaceapplicationsusingprobabilisticmodelchecking-2014","role":"author","urls":{" paper":"diner007.github.io/papers/FTSCS2013.pdf"},"metadata":{"authorlinks":{"hoque, k":"https://www.kahoque.com/"}}},"bibtype":"incollection","biburl":"diner007.github.io/ref.bib","creationDate":"2020-11-29T18:55:51.643Z","downloads":0,"keywords":[],"search_terms":["early","analysis","soft","error","effects","aerospace","applications","using","probabilistic","model","checking","hoque","mohamed","savaria","thibeault"],"title":"Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking","year":2014,"dataSources":["6YYKW9kmn2TAMQtCF","Gash8qyff28DoHD7j"]}