@phdthesis{delange:pastel-00006301, TITLE = {{Int{\'e}gration de la s{\'e}curit{\'e} et de la s{\^u}ret{\'e} de fonctionnement dans la construction d'intergiciels critiques}}, AUTHOR = {Delange, Julien}, URL = {https://pastel.hal.science/pastel-00006301}, SCHOOL = {{T{\'e}l{\'e}com ParisTech}}, YEAR = {2010}, MONTH = Jul, KEYWORDS = {Mils ; Pok ; Partitioned kernel ; s{\'e}curit{\'e} ; s{\^u}ret{\'e} ; AADL ; Arinc653 ; Avionique}, TYPE = {Theses}, PDF = {https://pastel.hal.science/pastel-00006301/file/thesis_Delange.pdf}, HAL_ID = {pastel-00006301}, HAL_VERSION = {v1}, }