Verifying Without Loss of Generality
Dauer: 48 Monate, Fördersumme: € 635.107
AutoTest
Dauer: 12 Monate, Fördersumme: € 49.970
Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)
Dauer: 54 Monate, Fördersumme: € 665.230