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