Progetti FP7 coordinati da "Fundacion imdea software"
| # | ||||
|---|---|---|---|---|
| 1 | AMAROUT AMAROUT Europe | 2009 | 9˙160˙578.00 | 3˙664˙231.00 |
| 2 | AMAROUT-II AMAROUT-II EUROPE | 2012 | 12˙636˙770.00 | 5˙054˙708.00 |
| 3 | ADVENT Architecture-driven verification of systems software | 2013 | 1˙366˙371.00 | 1˙075˙824.00 |
| 4 | VERISTAB Formal Verification of Stability of Embedded Control Systems | 2014 | 100˙000.00 | 100˙000.00 |
Altri progetti
L'Ente fundacion imdea software partecipato anche in questi progetti.