Report on combination of different verification techniques and b-APIs for adaptable systems.

Summary
Related to Tasks 34 35 36 and 37
More information & hyperlinks
Web resources: https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e508771f03&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV