@inproceedings{albore_timed_2018,
	title = {Timed {Formal} {Model} and {Verification} of {Satellite} {FDIR} in {Early} {Design} {Phase}},
	url = {https://hal.archives-ouvertes.fr/hal-01709008},
	language = {English},
	publisher = {HAL CCSD},
	author = {Albore, Alexandre and Dal Zilio, Silvano and De Roquemaurel, Marie and Seguin, Christel and Virelizier, Pierre},
	year = {2018},
	keywords = {[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ⛔ No DOI found},
}

{"_id":"ZNJW2mzm9Kdpm9GKF","bibbaseid":"albore-dalzilio-deroquemaurel-seguin-virelizier-timedformalmodelandverificationofsatellitefdirinearlydesignphase-2018","author_short":["Albore, A.","Dal Zilio, S.","De Roquemaurel, M.","Seguin, C.","Virelizier, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Timed Formal Model and Verification of Satellite FDIR in Early Design Phase","url":"https://hal.archives-ouvertes.fr/hal-01709008","language":"English","publisher":"HAL CCSD","author":[{"propositions":[],"lastnames":["Albore"],"firstnames":["Alexandre"],"suffixes":[]},{"propositions":[],"lastnames":["Dal","Zilio"],"firstnames":["Silvano"],"suffixes":[]},{"propositions":[],"lastnames":["De","Roquemaurel"],"firstnames":["Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Seguin"],"firstnames":["Christel"],"suffixes":[]},{"propositions":[],"lastnames":["Virelizier"],"firstnames":["Pierre"],"suffixes":[]}],"year":"2018","keywords":"[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ⛔ No DOI found","bibtex":"@inproceedings{albore_timed_2018,\n\ttitle = {Timed {Formal} {Model} and {Verification} of {Satellite} {FDIR} in {Early} {Design} {Phase}},\n\turl = {https://hal.archives-ouvertes.fr/hal-01709008},\n\tlanguage = {English},\n\tpublisher = {HAL CCSD},\n\tauthor = {Albore, Alexandre and Dal Zilio, Silvano and De Roquemaurel, Marie and Seguin, Christel and Virelizier, Pierre},\n\tyear = {2018},\n\tkeywords = {[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ⛔ No DOI found},\n}\n\n","author_short":["Albore, A.","Dal Zilio, S.","De Roquemaurel, M.","Seguin, C.","Virelizier, P."],"key":"albore_timed_2018","id":"albore_timed_2018","bibbaseid":"albore-dalzilio-deroquemaurel-seguin-virelizier-timedformalmodelandverificationofsatellitefdirinearlydesignphase-2018","role":"author","urls":{"Paper":"https://hal.archives-ouvertes.fr/hal-01709008"},"keyword":["[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl]","⛔ no doi found"],"search_terms":["timed","formal","model","verification","satellite","fdir","early","design","phase","albore","dal zilio","de roquemaurel","seguin","virelizier"],"title":"Timed Formal Model and Verification of Satellite FDIR in Early Design Phase","year":2018}