المؤلفون: 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

المؤلفون: Lisagor, O., Kelly, T., Ru Niu

المصدر: 2011 9th International Conference on Reliability, Maintainability & Safety (ICRMS); 2011, p625-632, 8p

المؤلفون: Lisagor, O., Linling Sun, Kelly, T., Chao Liu, Ru Niu

المصدر: 2011 IEEE International Conference on Service Operations, Logistics & Informatics (SOLI); 2011, p537-542, 6p

المؤلفون: Chao Liu, Tao Tang, Lisagor, O.

المصدر: 2011 IEEE International Conference on Service Operations, Logistics & Informatics (SOLI); 2011, p501-506, 6p

المؤلفون: Ru Niu, Tao Tang, Lisagor, O., McDermid, J.

المصدر: 2011 IEEE International Conference on Service Operations, Logistics & Informatics (SOLI); 2011, p484-490, 7p

المؤلفون: Ru Niu, Tao Tang, Lisagor, O., McDermid, J.

المصدر: 2011 IEEE International Conference on Vehicular Electronics & Safety (ICVES); 2011, p53-58, 6p

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

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

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

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