Verifying Without Loss of Generality
Duration: 48 months, Funding volume: € 635,107
AutoTest
Duration: 12 months, Funding volume: € 49,970
Fast and Quantitative What-if Analysis for Dependable Communication Networks (WHATIF)
Duration: 54 months, Funding volume: € 665,230