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

Linee di ricerca:

Horizon 2020
Ruolo DEIB: Partecipante
Data inizio: 01/01/2015
Durata: 48 mesi
 
 
Sommario

Risultati del progetto ed eventuali pubblicazioni scientifiche/brevetti