@article{bodeveix_towards_2015,
	title = {Towards a verified transformation from {AADL} to the formal component-based language {FIACRE}},
	url = {https://hal.archives-ouvertes.fr/hal-01278902},
	doi = {10/f7qb5c},
	language = {English},
	author = {Bodeveix, Jean-Paul and Filali, Mamoun and Garnacho, Manuel and Spadotti, Régis and Yang, Zhibin},
	year = {2015},
	keywords = {[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation},
}

{"_id":"SuE4z657puw2K4QJK","bibbaseid":"bodeveix-filali-garnacho-spadotti-yang-towardsaverifiedtransformationfromaadltotheformalcomponentbasedlanguagefiacre-2015","author_short":["Bodeveix, J.","Filali, M.","Garnacho, M.","Spadotti, R.","Yang, Z."],"bibdata":{"bibtype":"article","type":"article","title":"Towards a verified transformation from AADL to the formal component-based language FIACRE","url":"https://hal.archives-ouvertes.fr/hal-01278902","doi":"10/f7qb5c","language":"English","author":[{"propositions":[],"lastnames":["Bodeveix"],"firstnames":["Jean-Paul"],"suffixes":[]},{"propositions":[],"lastnames":["Filali"],"firstnames":["Mamoun"],"suffixes":[]},{"propositions":[],"lastnames":["Garnacho"],"firstnames":["Manuel"],"suffixes":[]},{"propositions":[],"lastnames":["Spadotti"],"firstnames":["Régis"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Zhibin"],"suffixes":[]}],"year":"2015","keywords":"[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation","bibtex":"@article{bodeveix_towards_2015,\n\ttitle = {Towards a verified transformation from {AADL} to the formal component-based language {FIACRE}},\n\turl = {https://hal.archives-ouvertes.fr/hal-01278902},\n\tdoi = {10/f7qb5c},\n\tlanguage = {English},\n\tauthor = {Bodeveix, Jean-Paul and Filali, Mamoun and Garnacho, Manuel and Spadotti, Régis and Yang, Zhibin},\n\tyear = {2015},\n\tkeywords = {[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation},\n}\n\n","author_short":["Bodeveix, J.","Filali, M.","Garnacho, M.","Spadotti, R.","Yang, Z."],"key":"bodeveix_towards_2015","id":"bodeveix_towards_2015","bibbaseid":"bodeveix-filali-garnacho-spadotti-yang-towardsaverifiedtransformationfromaadltotheformalcomponentbasedlanguagefiacre-2015","role":"author","urls":{"Paper":"https://hal.archives-ouvertes.fr/hal-01278902"},"keyword":["[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-mo]computer science [cs]/modeling and simulation"],"search_terms":["towards","verified","transformation","aadl","formal","component","based","language","fiacre","bodeveix","filali","garnacho","spadotti","yang"],"title":"Towards a verified transformation from AADL to the formal component-based language FIACRE","year":2015}