Farrell, Marie and Monahan, Rosemary and 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.
|
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: | |
| 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
Altmetric
Altmetric