{"_id":"obGL6pg6JmwTGxCHa","bibbaseid":"yeganefard-fromrequirementdocumenttoformalmodellinganddecompositionofcontrolsystems-2014","author_short":["Yeganefard, S."],"bibdata":{"bibtype":"phdthesis","type":"PhD Thesis","title":"From requirement document to formal modelling and decomposition of control systems","school":"University of Southampton","author":[{"propositions":[],"lastnames":["Yeganefard"],"firstnames":["Sanaz"],"suffixes":[]}],"year":"2014","note":"tex.ids= yeganefardRequirementDocumentFormal2014a","bibtex":"@phdthesis{yeganefard_requirement_2014,\n\ttype = {{PhD} {Thesis}},\n\ttitle = {From requirement document to formal modelling and decomposition of control systems},\n\tschool = {University of Southampton},\n\tauthor = {Yeganefard, Sanaz},\n\tyear = {2014},\n\tnote = {tex.ids= yeganefardRequirementDocumentFormal2014a},\n}\n\n","author_short":["Yeganefard, S."],"key":"yeganefard_requirement_2014","id":"yeganefard_requirement_2014","bibbaseid":"yeganefard-fromrequirementdocumenttoformalmodellinganddecompositionofcontrolsystems-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["requirement","document","formal","modelling","decomposition","control","systems","yeganefard"],"title":"From requirement document to formal modelling and decomposition of control systems","year":2014}