Constraint definition language II

Summary
Definition of the language to express formal requirements and orchestration constraints on RADON models (M12) and description of the associated verification tool to validate and reason on the constraints (M24).
More information & hyperlinks
Web resources: https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5d54b22c4&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV