{"_id":"RZvs7KtvgnTwAzree","bibbaseid":"butler-dghaym-fischer-hoang-reichl-snook-tummeltshammer-formalmodellingtechniquesforefficientdevelopmentofrailwaycontrolproducts-2017","author_short":["Butler, M. J.","Dghaym, D.","Fischer, T.","Hoang, T. S.","Reichl, K.","Snook, C. F.","Tummeltshammer, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Modelling Techniques for Efficient Development of Railway Control Products","booktitle":"International Conference on Reliability, Safety and Security of Railway Systems","author":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael","J."],"suffixes":[]},{"propositions":[],"lastnames":["Dghaym"],"firstnames":["Dana"],"suffixes":[]},{"propositions":[],"lastnames":["Fischer"],"firstnames":["Tomas"],"suffixes":[]},{"propositions":[],"lastnames":["Hoang"],"firstnames":["Thai","Son"],"suffixes":[]},{"propositions":[],"lastnames":["Reichl"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Snook"],"firstnames":["Colin","F."],"suffixes":[]},{"propositions":[],"lastnames":["Tummeltshammer"],"firstnames":["Peter"],"suffixes":[]}],"year":"2017","keywords":"⛔ No DOI found","pages":"71–86","bibtex":"@inproceedings{butler_formal_2017,\n\ttitle = {Formal {Modelling} {Techniques} for {Efficient} {Development} of {Railway} {Control} {Products}},\n\tbooktitle = {International {Conference} on {Reliability}, {Safety} and {Security} of {Railway} {Systems}},\n\tauthor = {Butler, Michael J. and Dghaym, Dana and Fischer, Tomas and Hoang, Thai Son and Reichl, Klaus and Snook, Colin F. and Tummeltshammer, Peter},\n\tyear = {2017},\n\tkeywords = {⛔ No DOI found},\n\tpages = {71--86},\n}\n\n","author_short":["Butler, M. J.","Dghaym, D.","Fischer, T.","Hoang, T. S.","Reichl, K.","Snook, C. F.","Tummeltshammer, P."],"key":"butler_formal_2017","id":"butler_formal_2017","bibbaseid":"butler-dghaym-fischer-hoang-reichl-snook-tummeltshammer-formalmodellingtechniquesforefficientdevelopmentofrailwaycontrolproducts-2017","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","techniques","efficient","development","railway","control","products","butler","dghaym","fischer","hoang","reichl","snook","tummeltshammer"],"title":"Formal Modelling Techniques for Efficient Development of Railway Control Products","year":2017}