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 - Video - Presentation - Publication....?
Report
System resource tags
CORDA
Demonstrators, pilots, prototypes
Secure COnnected Trustable Things
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV