Sorge, Jennifer, Poppleton, Mike and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B. ABZ2010, Orford, Canada. 23 - 25 Feb 2010.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 23 February 2010
Additional Information:
Event Dates: 23-25 Feb 2010
Venue - Dates:
ABZ2010, Orford, Canada, 2010-02-23 - 2010-02-25
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 268424
URI: http://eprints.soton.ac.uk/id/eprint/268424
PURE UUID: 143afa1a-3b42-404d-99a2-23f252d92563
Catalogue record
Date deposited: 27 Jan 2010 17:11
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Jennifer Sorge
Author:
Mike Poppleton
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.