Hochparallele Software-Verifikation nebenläufiger Anwendungen in der Automobilindustrie (HPSV)

Struktur

Das HPSV-Projekt gliedert sich in 6 einzelne APs.  

 

Projektstruktur