Alkhammash, Eman, Salehi Fathabadi, Asieh, Butler, Michael and Cirstea, Corina (2013) Building Traceable Event-B Models from Requirements. Automated Verification of Critical Systems (AVoCS 2013).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: August 2013
Venue - Dates:
Automated Verification of Critical Systems (AVoCS 2013), 2013-08-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 360315
URI: http://eprints.soton.ac.uk/id/eprint/360315
PURE UUID: dd0a853f-0514-4146-afc3-2e7eccb5d882
Catalogue record
Date deposited: 04 Dec 2013 10:55
Last modified: 15 Mar 2024 03:36
Export record
Contributors
Author:
Eman Alkhammash
Author:
Asieh Salehi Fathabadi
Author:
Michael Butler
Author:
Corina Cirstea
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.