Innovating Works

NUEVO URBANISMO Y CALIDAD DE VIDA

Inactiva
OSARES: Output Sensitive Algorithms for Reactive Synthesis CISPA HELMHOLTZZENTRUM FUR INFORMATIONSSICHERHEIT GGMBH tramitó un H2020: ERC-2015-CoG Reactive synthesis has the potential to revolutionize the development of distributed embedded systems. From a given logical specification, t...
2016-06-21 - 2021-12-31 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.