Opendata, web and dolomites

H2020 projects about "ltl"

The page lists 4 projects related to the topic "ltl".

# achronym  title  year 
1 AVS-ISS Analysis, Verification, and Synthesis for Infinite-State Systems 2015
2 MiniMo-Logistics MiniMo-Logistics application 2016
3 PaVeCo Parametrised Verification and Control 2017
4 LessThanWagonLoad Development of ‘Less than Wagon Load’ transport solutions in the Antwerp Chemical cluster 2017