CITADEL Modeling and Specification Languages

Summary
This deliverable documents the syntax and semantics of the modeling and specification languages defined in task T3.1, in particular the user-level language to describe the system architecture, the property specification language, and the extensions to Dy-BIP and OCRA.
More information & hyperlinks
Web resources: https://www.ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5b0c0747d&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Associated products/services
  • No items published
Powered by Chris Decubber BV