Opendata, web and dolomites

H2020 projects about "frama"

The page lists 2 projects related to the topic "frama".

# achronym  title  year 
1 ClearSalmonLice ClearSalmonLice 2016
2 VESSEDIA VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS 2017