VerIT (Verified IT) - Systementwicklungen mit Hard- und Softwareentwicklungen, Entwicklung neuartiger Verifikationsmethoden

Forschungsprojekt im Überblick

Fachbereiche und Institute

Fachbereich Informatik

Zeitraum

01.11.2011 to 30.09.2016

Projektleitung an der H-BRS

Kooperierende Professorinnen und Professoren

2015_fbinf_Jung-Norbert.png (DE)

Norbert Jung

20090926_FBINF_asteroth_sf.jpg (DE)

Alexander Asteroth

Finanzierung