Innovating Works
UnCoVerCPS: Unifying Control and Verification of Cyber Physical Systems TECHNISCHE UNIVERSITAET MUENCHEN tramitó un H2020: H2020-ICT-2014 The proposed research effort provides methods for a faster and more efficient development process of safety- or operation-critical cyber-phy...
2014-12-01 - 2019-02-28 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.