Das HGI-Kolloqium, organisiert vom Lehrstuhl der Embedded Security und dem Horst Görtz Institut, präsentiert am 28.01.2019 in ID 04/653 Bernhard Steffen und Falk Howar von der TU Dortmund, die einen Vortrag über "Model Engineering: Correctness by Constructon, Verification, and Mining" halten werden.
Dieses und alle weiteren HGI-Kolloquien sind ohne Anmeldung für alle Studierenden und Interessierten geöffnet.
Allgemeiner Hinweis: Mit einer möglichen Nennung von geschlechtszuweisenden Attributen implizieren wir alle, die sich diesem Geschlecht zugehörig fühlen, unabhängig vom biologischen Geschlecht.