{"_id":"FvnK6xdPFu3vuGECc","bibbaseid":"pfeifer-vonhenke-formalmodellingandanalysisoffaulttolerancepropertiesinthetimetriggeredarchitecture-2004","author_short":["Pfeifer, H.","Von Henke, F. W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal modelling and analysis of fault tolerance properties in the time-triggered architecture","booktitle":"5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems","publisher":"Citeseer","author":[{"propositions":[],"lastnames":["Pfeifer"],"firstnames":["Holger"],"suffixes":[]},{"propositions":[],"lastnames":["Von","Henke"],"firstnames":["Friedrich","W."],"suffixes":[]}],"year":"2004","keywords":"⛔ No DOI found","bibtex":"@inproceedings{pfeifer_formal_2004,\n\ttitle = {Formal modelling and analysis of fault tolerance properties in the time-triggered architecture},\n\tbooktitle = {5th {Symposium} on {Formal} {Methods} for {Automation} and {Safety} in {Railway} and {Automotive} {Systems}},\n\tpublisher = {Citeseer},\n\tauthor = {Pfeifer, Holger and Von Henke, Friedrich W.},\n\tyear = {2004},\n\tkeywords = {⛔ No DOI found},\n}\n\n","author_short":["Pfeifer, H.","Von Henke, F. W."],"key":"pfeifer_formal_2004","id":"pfeifer_formal_2004","bibbaseid":"pfeifer-vonhenke-formalmodellingandanalysisoffaulttolerancepropertiesinthetimetriggeredarchitecture-2004","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["formal","modelling","analysis","fault","tolerance","properties","time","triggered","architecture","pfeifer","von henke"],"title":"Formal modelling and analysis of fault tolerance properties in the time-triggered architecture","year":2004}