Opendata, web and dolomites
H2020 projects about "implementability"
The page lists 3 projects related to the topic "implementability".
| # | |||
|---|---|---|---|
| 1 | openMedicine | openMedicine | 2015 |
| 2 | PACT | Proof-theoretical Approaches to Concurrency Theory | 2016 |
| 3 | CuMiN | Currents and Minimizing Networks | 2017 |