Blog

Unsere Wissensbibliothek

Inhaltstyp

Themen

Filter zurücksetzen

31. Mai 2019

REVaMP² 2016-2019: Round-trip Engineering and Variability Management Platform and Process

Mehr Infos REVaMP² 2016-2019: Round-trip Engineering and Variability Management Platform and Process

Forschungsprojekt

21. Mai 2019

SAFE4I 2017-2021: Sicherer Automatischer Software-Entwurf für Industrieanlagen

Mehr Infos SAFE4I 2017-2021: Sicherer Automatischer Software-Entwurf für Industrieanlagen

Forschungsprojekt

21. Mai 2019

ENABLE-S3 2016-2019: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen

Mehr Infos ENABLE-S3 2016-2019: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen

Forschungsprojekt

21. Mai 2019

HPSV 2016-2019: Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie

Mehr Infos HPSV 2016-2019: Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie

Forschungsprojekt

31. Mai 2018

AgQua 2016-2018: Aggregationsverfahren für Qualität

Mehr Infos AgQua 2016-2018: Aggregationsverfahren für Qualität