{"_id":"XYSvxYHAZAsZTa4EF","bibbaseid":"abo-voisin-formalimplementationofdatavalidationforrailwaysafetyrelatedsystemswithovado-2013","author_short":["Abo, R.","Voisin, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal implementation of data validation for railway safety-related systems with OVADO","booktitle":"International Conference on Software Engineering and Formal Methods","publisher":"Springer","author":[{"propositions":[],"lastnames":["Abo"],"firstnames":["Robert"],"suffixes":[]},{"propositions":[],"lastnames":["Voisin"],"firstnames":["Laurent"],"suffixes":[]}],"year":"2013","keywords":"⛔ No DOI found","pages":"221–236","bibtex":"@inproceedings{abo_formal_2013,\n\ttitle = {Formal implementation of data validation for railway safety-related systems with {OVADO}},\n\tbooktitle = {International {Conference} on {Software} {Engineering} and {Formal} {Methods}},\n\tpublisher = {Springer},\n\tauthor = {Abo, Robert and Voisin, Laurent},\n\tyear = {2013},\n\tkeywords = {⛔ No DOI found},\n\tpages = {221--236},\n}\n\n","author_short":["Abo, R.","Voisin, L."],"key":"abo_formal_2013","id":"abo_formal_2013","bibbaseid":"abo-voisin-formalimplementationofdatavalidationforrailwaysafetyrelatedsystemswithovado-2013","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","implementation","data","validation","railway","safety","related","systems","ovado","abo","voisin"],"title":"Formal implementation of data validation for railway safety-related systems with OVADO","year":2013}