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

Research project at a glance

Departments and Instituts

Department of Computer Science

Period

01.11.2011 to 30.09.2016

Project manager at H-BRS

Cooperating professors

2015_fbinf_Jung-Norbert.png (DE)

Norbert Jung

20090926_FBINF_asteroth_sf.jpg (DE)

Alexander Asteroth

Sponsors