Butler, Michael (2009) Incremental Design of Distributed Systems with Event-B. In, Broy, Manfred, Sitou, Wassiou and Hoare, Tony (eds.) Engineering Methods and Tools for Software Safety and Security - Marktoberdorf Summer School 2008. IOS Press, pp. 131-160.
Record type:
Book Section
More information
Published date: 2009
Additional Information:
Chapter: 4
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 266910
URI: http://eprints.soton.ac.uk/id/eprint/266910
PURE UUID: b993d769-9a8f-4c47-b664-02c2d3c0cfab
Catalogue record
Date deposited: 12 Nov 2008 18:05
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Butler
Editor:
Manfred Broy
Editor:
Wassiou Sitou
Editor:
Tony Hoare
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.