{"_id":"iao26trTeEuahvkns","bibbaseid":"banach-razavi-lesecq-debicki-mareau-foucault-correvon-dudnik-formalmethodsinsystemsintegrationdeploymentofformaltechniquesininspex-2018","author_short":["Banach, R.","Razavi, J.","Lesecq, S.","Debicki, O.","Mareau, N.","Foucault, J.","Correvon, M.","Dudnik, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX","shorttitle":"Formal Methods in Systems Integration","booktitle":"International Conference on Complex Systems Design & Management","publisher":"Springer","author":[{"propositions":[],"lastnames":["Banach"],"firstnames":["Richard"],"suffixes":[]},{"propositions":[],"lastnames":["Razavi"],"firstnames":["Joe"],"suffixes":[]},{"propositions":[],"lastnames":["Lesecq"],"firstnames":["Suzanne"],"suffixes":[]},{"propositions":[],"lastnames":["Debicki"],"firstnames":["Olivier"],"suffixes":[]},{"propositions":[],"lastnames":["Mareau"],"firstnames":["Nicolas"],"suffixes":[]},{"propositions":[],"lastnames":["Foucault"],"firstnames":["Julie"],"suffixes":[]},{"propositions":[],"lastnames":["Correvon"],"firstnames":["Marc"],"suffixes":[]},{"propositions":[],"lastnames":["Dudnik"],"firstnames":["Gabriela"],"suffixes":[]}],"year":"2018","keywords":"⛔ No DOI found","pages":"3–15","bibtex":"@inproceedings{banach_formal_2018,\n\ttitle = {Formal {Methods} in {Systems} {Integration}: {Deployment} of {Formal} {Techniques} in {INSPEX}},\n\tshorttitle = {Formal {Methods} in {Systems} {Integration}},\n\tbooktitle = {International {Conference} on {Complex} {Systems} {Design} \\& {Management}},\n\tpublisher = {Springer},\n\tauthor = {Banach, Richard and Razavi, Joe and Lesecq, Suzanne and Debicki, Olivier and Mareau, Nicolas and Foucault, Julie and Correvon, Marc and Dudnik, Gabriela},\n\tyear = {2018},\n\tkeywords = {⛔ No DOI found},\n\tpages = {3--15},\n}\n\n","author_short":["Banach, R.","Razavi, J.","Lesecq, S.","Debicki, O.","Mareau, N.","Foucault, J.","Correvon, M.","Dudnik, G."],"key":"banach_formal_2018","id":"banach_formal_2018","bibbaseid":"banach-razavi-lesecq-debicki-mareau-foucault-correvon-dudnik-formalmethodsinsystemsintegrationdeploymentofformaltechniquesininspex-2018","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","methods","systems","integration","deployment","formal","techniques","inspex","banach","razavi","lesecq","debicki","mareau","foucault","correvon","dudnik"],"title":"Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX","year":2018}