Article thumbnail

Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability

By M. Farrell, R. Monahan and J.F. Power
Publisher: 'Springer Science and Business Media LLC'
Year: 2017
DOI identifier: 10.1007/978-3-319-68690-5_9
OAI identifier: oai:pure.atira.dk:publications/a4d2a5e4-a22d-4a99-a02d-76cee79dac6a
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://doi.org/10.1007/978-3-... (external link)
  • https://www.research.mancheste... (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles