UnCoVerCPS - Unifying Control and Verification of Cyber-Physical Systems
Research Area:

Research Lines:

Horizon 2020
DEIB Role: Partner
Start date: 2015-01-01
Length: 48 months
 
 
Project abstract