HGI-Kolloqium

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.