المؤلفون: Sagaspe, L., Bel, G., Bieber, P., Boniol, F., Castel, C.

المصدر: Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) High-Assurance Systems Engineering High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on. :25-33 2005

Relation: Ninth IEEE International Symposium on High-Assurance Systems Engineering

المؤلفون: Sagaspe, L., Bieber, P.

المصدر: 2007 IEEE/AIAA 26th Digital Avionics Systems Conference Digital Avionics Systems Conference, 2007. DASC '07. IEEE/AIAA 26th. :2.A.5-1-2.A.5-10 Oct, 2007

Relation: 2007 IEEE/AIAA 26th Digital Avionics Systems Conference

المؤلفون: Akerlund, O, Bieber, P., Boede, E, Bozzano, M, Bretschneider, M, Castel, C., Cavallo, A., Cifaldi, M, Gauthier, J, Griffault, A, Lisagor, O, Lüdtke, A, Metge, S, Papadopoulos, C, Peikenkamp, T, Sagaspe, L, Seguin, C, Trivedi, H, Valacca, L

المساهمون: ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse

المصدر: ERTS 2006 proceedings
Conference ERTS'06
Conference ERTS'06, Jan 2006, Toulouse, France

مصطلحات موضوعية: certification, formal methods, system safety assessment, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::257cd93bc4fc28880a3ad8f6c799fb8f
https://hal.archives-ouvertes.fr/hal-02270466/document

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.