Snook, Colin, Satpathy, Manoranjan and Arora, Silky (2012) Power window case study models - UML-B/Event-B/Simulink. University of Southampton [Dataset]
Record type:
Dataset
Abstract
More information
Published date: 2012
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 345699
URI: http://eprints.soton.ac.uk/id/eprint/345699
PURE UUID: 2a7fdf5f-0562-4f8b-9d5a-c300ecd16788
Catalogue record
Date deposited: 28 Nov 2012 11:40
Last modified: 06 Nov 2023 02:37
Export record
Contributors
Creator:
Colin Snook
Creator:
Manoranjan Satpathy
Creator:
Silky Arora
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.