Opendata, web and dolomites
H2020 projects about "debug"
The page lists 5 projects related to the topic "debug".
| # | |||
|---|---|---|---|
| 1 | IMMORTAL | Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems | 2015 |
| 2 | Learn | Learning From Failing and Passing Executions At the Speed of Internet | 2015 |
| 3 | COEMS | Continuous Observation of Embedded Multicore Systems | 2016 |
| 4 | ELVER | Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems | 2018 |
| 5 | DeBug | Effective and environmentally friendly mechanical treatment for salmon delousing | 2019 |