Salehi Fathabadi, Asieh and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol. FMCO Formal Methods for Components and Objects. pp. 89-104 . (doi:10.1007/978-3-642-17071-3_5).
Record type:
Conference or Workshop Item
(Paper)
Text
Applying_Event-B_Atomicity_Decomposition_to_a_Multi_Media Protocol.pdf
- Accepted Manuscript
Download (391kB)
More information
Accepted/In Press date: June 2010
e-pub ahead of print date: 2010
Venue - Dates:
FMCO Formal Methods for Components and Objects, 2010-06-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 271261
URI: http://eprints.soton.ac.uk/id/eprint/271261
PURE UUID: d2f69413-7ed6-49b0-9f9a-a769755b50a9
Catalogue record
Date deposited: 14 Jun 2010 09:24
Last modified: 15 Mar 2024 03:36
Export record
Altmetrics
Contributors
Author:
Asieh Salehi Fathabadi
Author:
Michael Butler
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.