{"_id":"qLQ6mzeioXcnAWBbh","bibbaseid":"hller-kajtazovic-preschern-kreiner-formalfaulttoleranceanalysisofalgorithmsforredundantsystemsinearlydesignstages-2014","downloads":0,"creationDate":"2018-11-28T09:10:34.934Z","title":"Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages","author_short":["Höller, A.","Kajtazovic, N.","Preschern, C.","Kreiner, C."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/47/4452.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Andrea"],"propositions":[],"lastnames":["Höller"],"suffixes":[]},{"firstnames":["Nermin"],"propositions":[],"lastnames":["Kajtazovic"],"suffixes":[]},{"firstnames":["Christopher"],"propositions":[],"lastnames":["Preschern"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Kreiner"],"suffixes":[]}],"title":"Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages","booktitle":"Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings","pages":"71–85","year":"2014","crossref":"DBLP:conf/serene/2014","url":"https://doi.org/10.1007/978-3-319-12241-0_6","doi":"10.1007/978-3-319-12241-0_6","timestamp":"Mon, 05 Jun 2017 12:41:08 +0200","biburl":"https://dblp.org/rec/bib/conf/serene/HollerKPK14","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/serene/HollerKPK14,\n author = {Andrea H{\\\"{o}}ller and\n Nermin Kajtazovic and\n Christopher Preschern and\n Christian Kreiner},\n title = {Formal Fault Tolerance Analysis of Algorithms for Redundant Systems\n in Early Design Stages},\n booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,\n {SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},\n pages = {71--85},\n year = {2014},\n crossref = {DBLP:conf/serene/2014},\n url = {https://doi.org/10.1007/978-3-319-12241-0\\_6},\n doi = {10.1007/978-3-319-12241-0\\_6},\n timestamp = {Mon, 05 Jun 2017 12:41:08 +0200},\n biburl = {https://dblp.org/rec/bib/conf/serene/HollerKPK14},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Höller, A.","Kajtazovic, N.","Preschern, C.","Kreiner, C."],"key":"DBLP:conf/serene/HollerKPK14","id":"DBLP:conf/serene/HollerKPK14","bibbaseid":"hller-kajtazovic-preschern-kreiner-formalfaulttoleranceanalysisofalgorithmsforredundantsystemsinearlydesignstages-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-12241-0_6"},"downloads":0},"search_terms":["formal","fault","tolerance","analysis","algorithms","redundant","systems","early","design","stages","höller","kajtazovic","preschern","kreiner"],"keywords":[],"authorIDs":[],"dataSources":["kr93nyxkdNzi5JfSH"]}