Joochim, Tossaporn (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development Southampton. University of Southampton (In Press)
Record type:
Monograph
(Project Report)
More information
Accepted/In Press date: 3 March 2008
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 266732
URI: http://eprints.soton.ac.uk/id/eprint/266732
PURE UUID: bbd06bcb-9583-4ebb-b1a4-37791556d189
Catalogue record
Date deposited: 01 Oct 2008 12:45
Last modified: 14 Mar 2024 08:34
Export record
Contributors
Author:
Tossaporn Joochim
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.