MURAL - Maynooth University Research Archive Library



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


    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.

    [img]
    Preview
    Download (136kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    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:

      Repository Staff Only(login required)

      View Item Item control page

      Downloads

      Downloads per month over past year