Lehre
Im Sommersemester 2024 biete ich die Master-Vorlesung Simulation und Statisches Model Checking an (Modul "Formale Methoden").
Learnweb-Kurs: SimSMC-2024_1 (Der Einschreibeschlüssel wird in der 1. Vorlesung bekannt gegeben. Falls Sie nicht teilnehmen können, teile ich Ihnen den Schlüssel gerne auf Anfrage per Email mit.)