Zum Inhalt
Fakultät für Informatik

Bachelorarbeit - Kai Steinhage

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