{"_id":"ouLdAC2y5XmMnkNii","bibbaseid":"prevosto-burghardt-gerlach-hartig-pohl-voellinger-formalspecificationandautomatedverificationofrailwaysoftwarewithframac-2013","author_short":["Prevosto, V.","Burghardt, J.","Gerlach, J.","Hartig, K.","Pohl, H.","Voellinger, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal specification and automated verification of railway software with frama-C","doi":"10/ghv23t","booktitle":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Prevosto"],"firstnames":["Virgile"],"suffixes":[]},{"propositions":[],"lastnames":["Burghardt"],"firstnames":["Jochen"],"suffixes":[]},{"propositions":[],"lastnames":["Gerlach"],"firstnames":["Jens"],"suffixes":[]},{"propositions":[],"lastnames":["Hartig"],"firstnames":["Kerstin"],"suffixes":[]},{"propositions":[],"lastnames":["Pohl"],"firstnames":["Hans"],"suffixes":[]},{"propositions":[],"lastnames":["Voellinger"],"firstnames":["Kim"],"suffixes":[]}],"year":"2013","pages":"710–715","bibtex":"@inproceedings{prevosto_formal_2013,\n\ttitle = {Formal specification and automated verification of railway software with frama-{C}},\n\tdoi = {10/ghv23t},\n\tbooktitle = {2013 11th {IEEE} {International} {Conference} on {Industrial} {Informatics} ({INDIN})},\n\tpublisher = {IEEE},\n\tauthor = {Prevosto, Virgile and Burghardt, Jochen and Gerlach, Jens and Hartig, Kerstin and Pohl, Hans and Voellinger, Kim},\n\tyear = {2013},\n\tpages = {710--715},\n}\n\n","author_short":["Prevosto, V.","Burghardt, J.","Gerlach, J.","Hartig, K.","Pohl, H.","Voellinger, K."],"key":"prevosto_formal_2013","id":"prevosto_formal_2013","bibbaseid":"prevosto-burghardt-gerlach-hartig-pohl-voellinger-formalspecificationandautomatedverificationofrailwaysoftwarewithframac-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","specification","automated","verification","railway","software","frama","prevosto","burghardt","gerlach","hartig","pohl","voellinger"],"title":"Formal specification and automated verification of railway software with frama-C","year":2013}