direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Fakultätskalender

Freitag, 10.05.2019

Formal Verification of Low-Level Code in a Model-Based Refinement Process

Art der Veranstaltung:
Kolloquium
Beschreibung:

Wissenschaftliche Aussprache zur Erlangung des akademischen Grades „Doktor der Naturwissenschaften“ (Dr.rer.nat.)

Veranstalter:
Herr Dipl.-Math. Nils Erik Berg
Ort:
Raum MAR 6.004 – Marchstraße 23 in 10587 Berlin
Zeit:
10:00 - 12:00

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Diese Seite verwendet Matomo für anonymisierte Webanalysen. Mehr Informationen und Opt-Out-Möglichkeiten unter Datenschutz.