Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications. Hoque, K. A., Mohamed, O. A., Savaria, Y., & Thibeault, C. In International Conference on Formal Methods and Models for Co-Design, 2014. ACM-IEEE. Paper bibtex @inproceedings{hoque2014probabilistic,
title={Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications},
author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon and Thibeault, Claude},
booktitle={International Conference on Formal Methods and Models for Co-Design},
year={2014},
organization={ACM-IEEE},
url_Paper = {papers/MEMOCODE.pdf}
}
Downloads: 0
{"_id":"KuLnsnw2sfJsRx9nf","bibbaseid":"hoque-mohamed-savaria-thibeault-probabilisticmodelcheckingbaseddalanalysistooptimizeacombinedtmrblindscrubbingmitigationtechniqueforfpgabasedaerospaceapplications-2014","authorIDs":["htvCmvEBSwLbxozzn"],"author_short":["Hoque, K. A.","Mohamed, O. A.","Savaria, Y.","Thibeault, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications","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":"International Conference on Formal Methods and Models for Co-Design","year":"2014","organization":"ACM-IEEE","url_paper":"papers/MEMOCODE.pdf","bibtex":"@inproceedings{hoque2014probabilistic,\n title={Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications},\n author={Hoque, Khaza Anuarul and Mohamed, Otmane Ait and Savaria, Yvon and Thibeault, Claude},\n booktitle={International Conference on Formal Methods and Models for Co-Design},\n year={2014},\n organization={ACM-IEEE},\n url_Paper = {papers/MEMOCODE.pdf}\n}\n\n","author_short":["Hoque, K. A.","Mohamed, O. A.","Savaria, Y.","Thibeault, C."],"key":"hoque2014probabilistic","id":"hoque2014probabilistic","bibbaseid":"hoque-mohamed-savaria-thibeault-probabilisticmodelcheckingbaseddalanalysistooptimizeacombinedtmrblindscrubbingmitigationtechniqueforfpgabasedaerospaceapplications-2014","role":"author","urls":{" paper":"diner007.github.io/papers/MEMOCODE.pdf"},"metadata":{"authorlinks":{"hoque, k":"https://www.kahoque.com/"}}},"bibtype":"inproceedings","biburl":"diner007.github.io/ref.bib","creationDate":"2020-11-29T18:55:51.643Z","downloads":0,"keywords":[],"search_terms":["probabilistic","model","checking","based","dal","analysis","optimize","combined","tmr","blind","scrubbing","mitigation","technique","fpga","based","aerospace","applications","hoque","mohamed","savaria","thibeault"],"title":"Probabilistic Model Checking Based DAL Analysis to Optimize a Combined TMR-Blind-Scrubbing Mitigation Technique for FPGA-Based Aerospace Applications","year":2014,"dataSources":["6YYKW9kmn2TAMQtCF","Gash8qyff28DoHD7j"]}