-
1
-
2
المؤلفون: 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 -
3دورية
المؤلفون: Boede, E. O., Mujica‐Jorquera, E., Boede, F., Varela, C.
المصدر: International Zoo Yearbook; July 2018, Vol. 52 Issue: 1 p245-257, 13p
-
4دورية
المؤلفون: Boede, E. O., Mujica‐Jorquera, E.
المصدر: International Zoo Yearbook; January 2016, Vol. 50 Issue: 1 p193-202, 10p
-
5دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
6دورية
المؤلفون: BOEDE, E. O., MUJICA‐JORQUERA, E., BOEDE, N. DE
المصدر: International Zoo Yearbook; January 1998, Vol. 36 Issue: 1 p214-222, 9p
-
7كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.