Gondal, Ali (2013) Feature-oriented reuse with Event-B and Rodin. University of Southampton, Faculty of Physical Sciences and Engineering, Doctoral Thesis, 171pp.
Record type:
Thesis
(Doctoral)
Text
__soton.ac.uk_ude_PersonalFiles_Users_slb1_mydocuments_Gondal thesis2.pdf
- Other
Download (4MB)
More information
Published date: June 2013
Organisations:
University of Southampton, Electronic & Software Systems
Identifiers
Local EPrints ID: 354779
URI: http://eprints.soton.ac.uk/id/eprint/354779
PURE UUID: 06700737-c52a-4f0e-ad44-ccc353e8723a
Catalogue record
Date deposited: 13 Jan 2014 11:02
Last modified: 14 Mar 2024 14:24
Export record
Contributors
Author:
Ali Gondal
Thesis advisor:
Michael Poppleton
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.