Opendata, web and dolomites
H2020 projects about "mechanized"
The page lists 6 projects related to the topic "mechanized".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | LASERFIT | Laser cladding for the recovery of critical toolsdies | 2016 |
| 3 | SATBIM | Simulations for multi-level Analysis of interactions in Tunnelling based on the Building Information Modelling technology | 2016 |
| 4 | Mathador | Type and Proof Structures for Concurrent Software Verification | 2017 |
| 5 | Timber Shuttle | The novel wood-harvesting system for mechanical steep-slope logging | 2017 |
| 6 | Morpheus | Morphogenesis of photo-mechanized molecular materials | 2018 |