To content
Department of Computer Science

Bachelorarbeit - Kai Steinhage

Start: End: Location: Otto-Hahn-Str.16, 2.OG, Raum 205
Formale Modellierung und logische Umsetzung der Schiffahrtsgesetze für konforme Verhaltensweisen intelligenter autonomer Schifffahrtssysteme