Opendata, web and dolomites
H2020 projects about "unsound"
The page lists 1 projects related to the topic "unsound".
| # | |||
|---|---|---|---|
| 1 | TOROS | A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems | 2019 |
The page lists 1 projects related to the topic "unsound".
| # | |||
|---|---|---|---|
| 1 | TOROS | A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems | 2019 |