Wissenschaftlicher Mitarbeiter
Verkehr / Safety & Security Oriented Design Methods & Processes
03.12.2020
KI-Geschäftsmodelle für Reisen und Transport05.05.2020
OFFIS übernimmt neues ForschungsbootSEG12
OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
Christian Neurohr, Lukas Westhofen, Martin Butz, Martin Bollmann, Ulrich Eberle, Roland Galbas; IEEE Access; Januar / 2021
Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter; NASA Formal Methods; 2020
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde; 2020 IEEE Intelligent Vehicles Symposium (IV); Oktober / 2020