Share and Export
Share and Export
Farrell, Marie, Monahan, Rosemary, Power, James F. and Fisher, Michael (2018) An Approach to Combining the Institutions for Event-B and Temporal Logic. In: 24th International Workshop on Algebraic Development Technique, July 2018, Royal Holloway, University of London.
Preview
RM_computer scie_an approach.pdf
Download (136kB) | Preview
Abstract
The abstract is included in the text.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Keywords: | approach; combining; institutions; Event-B; Temporal Logic; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science Faculty of Science and Engineering > Research Institutes > Hamilton Institute |
| Item ID: | 13389 |
| Depositing User: | Rosemary Monahan |
| Date Deposited: | 05 Oct 2020 14:06 |
| Refereed: | Yes |
| URI: | https://mu.eprints-hosting.org/id/eprint/13389 |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
- Item control page
Downloads
Downloads per month over past year
