From Goal-Oriented Requirements to Event-B Specifications

Authors
Publication date
1 January 2009
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    ePubs: the open archive for STFC research publications

    redirect
    oaioai:epubs.cclrc.ac.uk:work/497...
    Last time updated on 07/06/2012