{"_id":"M8xy2FuTe9ZnA2LLX","bibbaseid":"oliveira-formalspecificationandverificationofinteractivesystemswithplasticityapplicationstonuclearplantsupervision-2015","author_short":["Oliveira, R. A. d."],"bibdata":{"bibtype":"phdthesis","type":"PhD Thesis","title":"Formal specification and verification of interactive systems with plasticity: applications to nuclear-plant supervision","shorttitle":"Formal specification and verification of interactive systems with plasticity","school":"Université Grenoble Alpes (ComUE)","author":[{"propositions":[],"lastnames":["Oliveira"],"firstnames":["Raquel","Araùjo","de"],"suffixes":[]}],"year":"2015","note":"tex.ids= oliveiraFormalSpecificationVerification2015a","bibtex":"@phdthesis{oliveira_formal_2015,\n\ttype = {{PhD} {Thesis}},\n\ttitle = {Formal specification and verification of interactive systems with plasticity: applications to nuclear-plant supervision},\n\tshorttitle = {Formal specification and verification of interactive systems with plasticity},\n\tschool = {Université Grenoble Alpes (ComUE)},\n\tauthor = {Oliveira, Raquel Araùjo de},\n\tyear = {2015},\n\tnote = {tex.ids= oliveiraFormalSpecificationVerification2015a},\n}\n\n\n\n\n\n\n\n","author_short":["Oliveira, R. A. d."],"key":"oliveira_formal_2015","id":"oliveira_formal_2015","bibbaseid":"oliveira-formalspecificationandverificationofinteractivesystemswithplasticityapplicationstonuclearplantsupervision-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","specification","verification","interactive","systems","plasticity","applications","nuclear","plant","supervision","oliveira"],"title":"Formal specification and verification of interactive systems with plasticity: applications to nuclear-plant supervision","year":2015}