Auto-SAFE

Project Members: Tim Gonschorek, Ludwig Bedau
Project Time:: Projektzeitraum: Februar 2021 - April 2022
Funded By: Gefördert von: MW/ IB Sachsen-Anhalt, Europäische Union (EFRE)

Entwicklung eines modularen Verifikationswerkzeugs zur Integration automatisierter Sicherheitsanalysen in den Entwurfsprozess softwareintensiver Systeme

Projektpartner: METOP GmbH

METOP GmbH

 

Gefördert durch die Europäische Union (EFRE)

Auto-SAFE