Gap analysis of existing reasoning techniques and requirements for the ATM participatory architectural design

Summary
Strengths and weaknesses of state-of-art model verification and multi-objective reasoning techniques to support the ATM participatory architectural design.
More information & hyperlinks
Web resources: https://www.ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5af2afe17&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV