Incremental Design of Distributed Systems with Event-B


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.

Download

[img] PDF marktoberdorf2.pdf - Other
Download (3MB)
Item Type: Book Section
Additional Information: Chapter: 4
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 266910
Date :
Date Event
2009Published
Date Deposited: 12 Nov 2008 18:05
Last Modified: 23 Feb 2017 10:12
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266910

Actions (login required)

View Item View Item