Das Seminar findet Mittwochs von 17:15 - 18:45 Uhr virtuell (Teams-Meeting) statt.
Der thematische Schwerpunkt des Seminars liegt im Bereich von Methoden zur Verifikation, Diagnose und Resilienz technischer Systeme.
Nach einer Einführung (Arten und Aufbau wissenschaftlicher Arbeiten/Publikationen, Literaturrecherche und -beschaffung, Zitationstechniken, Beurteilung/Review wissenschaftlicher Arbeiten) erhalten die Studierenden ausgewählte Themen zur Bearbeitung. Jede(r) Studierende soll ein Kurzpapier dazu schreiben und es in einem Vortrag präsentieren.