{"_id":"PH3RLpPpFamf2ti67","bibbaseid":"yeganefard-butler-rezazadeh-evaluationofaguidelinebyformalmodellingofcruisecontrolsystemineventb-2010","author_short":["Yeganefard, S.","Butler, M. J.","Rezazadeh, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B","booktitle":"NASA Formal Methods","author":[{"propositions":[],"lastnames":["Yeganefard"],"firstnames":["Sanaz"],"suffixes":[]},{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael","J."],"suffixes":[]},{"propositions":[],"lastnames":["Rezazadeh"],"firstnames":["Abdolbaghi"],"suffixes":[]}],"year":"2010","keywords":"⛔ No DOI found","pages":"182–191","bibtex":"@inproceedings{yeganefard_evaluation_2010,\n\ttitle = {Evaluation of a {Guideline} by {Formal} {Modelling} of {Cruise} {Control} {System} in {Event}-{B}},\n\tbooktitle = {{NASA} {Formal} {Methods}},\n\tauthor = {Yeganefard, Sanaz and Butler, Michael J. and Rezazadeh, Abdolbaghi},\n\tyear = {2010},\n\tkeywords = {⛔ No DOI found},\n\tpages = {182--191},\n}\n\n","author_short":["Yeganefard, S.","Butler, M. J.","Rezazadeh, A."],"key":"yeganefard_evaluation_2010","id":"yeganefard_evaluation_2010","bibbaseid":"yeganefard-butler-rezazadeh-evaluationofaguidelinebyformalmodellingofcruisecontrolsystemineventb-2010","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":["evaluation","guideline","formal","modelling","cruise","control","system","event","yeganefard","butler","rezazadeh"],"title":"Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B","year":2010}