Opendata, web and dolomites

H2020 projects about "nondeterminism"

The page lists 1 projects related to the topic "nondeterminism".

# achronym  title  year 
1 PaVeCo Parametrised Verification and Control 2017