Safety-critical Sandbox (Beta)

Summary
Implementation and evaluation of formal model using model checker/big data analytics techniques – M24
More information & hyperlinks
Web resources: https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5c444923e&appId=PPGMS
Structured mapping
Unfold all
/
Fold all
Report
CORDA
Demonstrators, pilots, prototypes
Secure COnnected Trustable Things
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Contacts
Not specified (see website if available) or see associated project
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV