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
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
Associated products/services
  • No items published
Organisations
  • Not specified
Powered by Chris Decubber BV