Opendata, web and dolomites

H2020 projects about "mechanized"

The page lists 6 projects related to the topic "mechanized".

# achronym  title  year 
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