Inhalt

[ 700FMVK11 ] Studienfach Formale Modelle und Verifikation

Versionsauswahl
Workload Form der Prüfung Ausbildungslevel Studienfachbereich VerantwortlicheR Anbietende Uni
9 ECTS Kumulative Fachprüfung R - Doktorat / PhD Informatik Armin Biere Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Doktoratsstudium Technische Wissenschaften 2012W
Ziele Weiterentwicklung von Wissen und Kenntnissen im Fach Formale Modelle und Verifikation in Hinblick auf eine Befähigung zu selbständiger wissenschaftlicher Forschung im Fachbereich Informatik, beziehungsweise fachliche Vorbereitung auf die Doktorarbeit.
Lehrinhalte Die Lehrinhalte ergeben sich aus den Lehrinhalten der einzelnen Lehrveranstaltungen.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen