-
1مؤتمر
المؤلفون: Becker, B., Wimmer, R., Pulungan, R., Peikenkamp, T., Johr, S., Hermanns, H., Herbstritt, M., Bode, E.
المصدر: Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. :167-178 2006
Relation: Third International Conference on the Quantitative Evaluation of Systems
-
2مؤتمر
المؤلفون: Luth, K., Niehaus, J., Peikenkamp, T.
المصدر: Proceedings. Ninth International Workshop on Rapid System Prototyping (Cat. No.98TB100237) Rapid-system prototyping Rapid System Prototyping, 1998. Proceedings. 1998 Ninth International Workshop on. :212-217 1998
Relation: Proceedings Ninth International Workshop on Rapid System Prototyping
-
3
المؤلفون: Damm, W, Kemper, S, Möhlmann, E, Peikenkamp, T, Rakow, A
المساهمون: Rakow, Astrid
مصطلحات موضوعية: [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], formal specification languages, highly autonomous driving, type acceptance, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, testing, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::40e441527460051fdf84f3660b7a3bec
https://hal.archives-ouvertes.fr/hal-01714060 -
4
المؤلفون: 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 -
5مؤتمر
المؤلفون: Damm, W., Hungar, H., Josko, B., Peikenkamp, T., Stierand, I.
المصدر: 2011 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2011, p1-6, 6p
-
6مؤتمر
المؤلفون: Bode, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Wimmer, R., Becker, B.
المصدر: Third International Conference on the Quantitative Evaluation of Systems - (QEST'06); 2006, p167-178, 12p
-
7مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.