research

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

    Name not available

    redirect
    oaioai:researchportal.port.ac.uk:...
    Last time updated on 11/11/2016

    Portsmouth University Research Portal (Pure)

    redirect
    oaioai:researchportal.port.ac.uk:...
    Last time updated on 29/09/2015