@phdthesis{bedin_franca_processes_2012,
	title = {Processes and qualifiable 1tools for the development of safety-critical certified systems in avionics based on automated code generation},
	url = {http://www.theses.fr/2012INPT0028},
	language = {English},
	author = {Bedin França, Ricardo},
	year = {2012},
	keywords = {Formal verication},
}

{"_id":"JytdfBqsmQgeu4eoG","bibbaseid":"bedinfrana-processesandqualifiable1toolsforthedevelopmentofsafetycriticalcertifiedsystemsinavionicsbasedonautomatedcodegeneration-2012","author_short":["Bedin França, R."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","title":"Processes and qualifiable 1tools for the development of safety-critical certified systems in avionics based on automated code generation","url":"http://www.theses.fr/2012INPT0028","language":"English","author":[{"propositions":[],"lastnames":["Bedin","França"],"firstnames":["Ricardo"],"suffixes":[]}],"year":"2012","keywords":"Formal verication","bibtex":"@phdthesis{bedin_franca_processes_2012,\n\ttitle = {Processes and qualifiable 1tools for the development of safety-critical certified systems in avionics based on automated code generation},\n\turl = {http://www.theses.fr/2012INPT0028},\n\tlanguage = {English},\n\tauthor = {Bedin França, Ricardo},\n\tyear = {2012},\n\tkeywords = {Formal verication},\n}\n\n","author_short":["Bedin França, R."],"key":"bedin_franca_processes_2012","id":"bedin_franca_processes_2012","bibbaseid":"bedinfrana-processesandqualifiable1toolsforthedevelopmentofsafetycriticalcertifiedsystemsinavionicsbasedonautomatedcodegeneration-2012","role":"author","urls":{"Paper":"http://www.theses.fr/2012INPT0028"},"keyword":["Formal verication"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["formal verication"],"search_terms":["processes","qualifiable","1tools","development","safety","critical","certified","systems","avionics","based","automated","code","generation","bedin frança"],"title":"Processes and qualifiable 1tools for the development of safety-critical certified systems in avionics based on automated code generation","year":2012}