@inproceedings{poitou_formal_2018,
	title = {Formal architecture modeling for documenting and assessing {Aeronautics} {Maintenance}: {A} case study},
	shorttitle = {Formal architecture modeling for documenting and assessing {Aeronautics} {Maintenance}},
	booktitle = {{ERTS} 2018},
	author = {Poitou, Olivier and Bieber, Pierre and Ferreira, Joël and Simon, Ludovic},
	year = {2018},
	note = {tex.ids= poitou\_formal\_2018},
	keywords = {[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], ⛔ No DOI found},
}

{"_id":"2YqTQmuv7aaEkSjeT","bibbaseid":"poitou-bieber-ferreira-simon-formalarchitecturemodelingfordocumentingandassessingaeronauticsmaintenanceacasestudy-2018","author_short":["Poitou, O.","Bieber, P.","Ferreira, J.","Simon, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal architecture modeling for documenting and assessing Aeronautics Maintenance: A case study","shorttitle":"Formal architecture modeling for documenting and assessing Aeronautics Maintenance","booktitle":"ERTS 2018","author":[{"propositions":[],"lastnames":["Poitou"],"firstnames":["Olivier"],"suffixes":[]},{"propositions":[],"lastnames":["Bieber"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Ferreira"],"firstnames":["Joël"],"suffixes":[]},{"propositions":[],"lastnames":["Simon"],"firstnames":["Ludovic"],"suffixes":[]}],"year":"2018","note":"tex.ids= poitou_formal_2018","keywords":"[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], ⛔ No DOI found","bibtex":"@inproceedings{poitou_formal_2018,\n\ttitle = {Formal architecture modeling for documenting and assessing {Aeronautics} {Maintenance}: {A} case study},\n\tshorttitle = {Formal architecture modeling for documenting and assessing {Aeronautics} {Maintenance}},\n\tbooktitle = {{ERTS} 2018},\n\tauthor = {Poitou, Olivier and Bieber, Pierre and Ferreira, Joël and Simon, Ludovic},\n\tyear = {2018},\n\tnote = {tex.ids= poitou\\_formal\\_2018},\n\tkeywords = {[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], ⛔ No DOI found},\n}\n\n","author_short":["Poitou, O.","Bieber, P.","Ferreira, J.","Simon, L."],"key":"poitou_formal_2018","id":"poitou_formal_2018","bibbaseid":"poitou-bieber-ferreira-simon-formalarchitecturemodelingfordocumentingandassessingaeronauticsmaintenanceacasestudy-2018","role":"author","urls":{},"keyword":["[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-cl]computer science [cs]/computation and language [cs.cl]","⛔ no doi found"],"search_terms":["formal","architecture","modeling","documenting","assessing","aeronautics","maintenance","case","study","poitou","bieber","ferreira","simon"],"title":"Formal architecture modeling for documenting and assessing Aeronautics Maintenance: A case study","year":2018}