Innovating Works

LETS GOWEX, S.A

Inactiva
AVS-ISS: Analysis Verification and Synthesis for Infinite State Systems MAXPLANCKGESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV tramitó un H2020: ERC-2014-CoG The central objective of this project is to investigate key algorithmic verification questions concerning two fundamental mathematical struc...
2015-06-24 - 2021-01-31 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.