Safety-critical Sandbox Specification

Summary
Initial specifications for formal verification and model checker/big data analytics techniques – M16
More information & hyperlinks
Web resources: https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5ca1ae29a&appId=PPGMS
Structured mapping
Unfold all
/
Fold all
Report
CORDA
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