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

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

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

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

المؤلفون: Damm, W., Hungar, H., Josko, B., Peikenkamp, T., Stierand, I.

المصدر: 2011 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2011, p1-6, 6p

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

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

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

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

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