المؤلفون: Wirsing, M., Dammann, A., Raulefs, R.

المصدر: 2023 IEEE/ION Position, Location and Navigation Symposium (PLANS) Position, Location and Navigation Symposium (PLANS), 2023 IEEE/ION. :724-728 Apr, 2023

Relation: 2023 IEEE/ION Position, Location and Navigation Symposium (PLANS)

المؤلفون: Wirsing, M., Dammann, A., Raulefs, R.

المصدر: 2021 IEEE 94th Vehicular Technology Conference (VTC2021-Fall) Vehicular Technology Conference (VTC2021-Fall), 2021 IEEE 94th. :1-6 Sep, 2021

Relation: 2021 IEEE 94th Vehicular Technology Conference (VTC2021-Fall)

المؤلفون: Grundhofer, L., Wirsing, M., Gewies, S., Galdo, G.D.

المصدر: IEEE Access Access, IEEE. 10:73309-73316 2022

المؤلفون: Wirsing, M., Dammann, A., Raulefs, R.

المصدر: 2020 IEEE/ION Position, Location and Navigation Symposium (PLANS) Position, Location and Navigation Symposium (PLANS), 2020 IEEE/ION. :822-826 Apr, 2020

Relation: 2020 IEEE/ION Position, Location and Navigation Symposium (PLANS)

المؤلفون: Wirsing, M., Dammann, A., Raulefs, R.

المصدر: OCEANS 2019 MTS/IEEE SEATTLE MTS/IEEE SEATTLE, OCEANS 2019. :1-5 Oct, 2019

Relation: OCEANS 2019 MTS/IEEE SEATTLE

المؤلفون: Rauschmayer, A., Knapp, A., Wirsing, M.

المصدر: Proceedings. 19th International Conference on Automated Software Engineering, 2004. Automated software engineering Automated Software Engineering, 2004. Proceedings. 19th International Conference on. :238-247 2004

Relation: Proceedings. 19th International Conference on Automated Software Engineering

المؤلفون: Baumeister, H., Knapp, A., Wirsing, M.

المصدر: Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Software engineering and formal methods Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on. :96-102 2004

Relation: Proceedings of the Second International Conference on Software Engineering and Formal Methods

المؤلفون: Wirsing, M., Leszczylowski, J.

المصدر: [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.. :406-411 1991

Relation: Proceedings, Advanced Computer Technology, Reliable Systems and Applications

المؤلفون: Andrade, L.^Aff12, Baldan, P.^Aff14, Baumeister, H.^Aff7, Bruni, R.^Aff8, Corradini, A.^Aff8, De Nicola, R.^Aff9, Fiadeiro, J. L.^Aff12, Gadducci, F.^Aff8, Gnesi, S.^Aff10, Hoffman, P.^Aff13, Koch, N.^Aff7, Kosiuczenko, P.^Aff7, Lapadula, A.^Aff9, Latella, D.^Aff10, Lopes, A.^Aff11, Loreti, M.^Aff9, Massink, M.^Aff10, Mazzanti, F.^Aff10, Montanari, U.^Aff8, Oliveira, C.^Aff11, Pugliese, R.^Aff9, Tarlecki, A.^Aff13, Wermelinger, M.^Aff11, Wirsing, M.^Aff7, Zawłocki, A.^Aff13

المساهمون: Goos, Gerhard, Series editor^Aff1, Hartmanis, Juris, Series editor^Aff2, van Leeuwen, Jan, Series editor^Aff3, Wirsing, Martin, editor^Aff4, Pattinson, Dirk, editor^Aff5, Hennicker, Rolf, editor^Aff6

المصدر: Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. 2755:1-33

المؤلفون: Poernomo, I, Crossley, J N, Wirsing, M

مصطلحات موضوعية: Other information and computing sciences not elsewhere classified

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::392bd3f0f43177883a36dc93e1d681a7