To content
Department of Computer Science

Bachelorarbeit - Dennis Katan

Begin: End: Location: Otto-Hahn-Str. 16, 2.OG, Raum 205

Logikbasierte Analyse schifffahrtsrechtlicher Situationen für autonome Schiffe