Opendata, web and dolomites
H2020 projects about "formalise"
The page lists 7 projects related to the topic "formalise".
| # | |||
|---|---|---|---|
| 1 | QTMODEM | Quantitative Motor Control for Decision Making | 2016 |
| 2 | NormativeEconomics | Reconstructing normative economics on a foundation of mutual advantage | 2016 |
| 3 | NEWBITS | NEW Business models for ITS | 2016 |
| 4 | PEAC | Provably-Correct Efficient Algorithms for Clustering | 2017 |
| 5 | BEHAPI | Behavioural Application Program Interfaces | 2018 |
| 6 | HarvestAll | Development of multi-source micro energy harvesting power management devices | 2018 |
| 7 | NG-WTEM | Next-generation water testing for the European market (NG-WTEM) | 2019 |