MURAL - Maynooth University Research Archive Library



    An Approach to Combining the Institutions for Event-B and Temporal Logic


    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.

    [thumbnail of RM_computer scie_an approach.pdf]
    Preview
     Text
    Available under License Creative Commons Attribution Non-commercial Share Alike.
    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
    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

    Downloads

    Downloads per month over past year

    Origin of downloads

    Repository Staff Only (login required)

    Item control page
    Item control page
    MURAL - Maynooth University Research Archive Library is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility