Applying Event-B Atomicity Decomposition to a Multi Media Protocol


Salehi Fathabadi, Asieh and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol At FMCO Formal Methods for Components and Objects. , pp. 89-104. (doi:10.1007/978-3-642-17071-3_5).

Download

[img] PDF Applying_Event-B_Atomicity_Decomposition_to_a_Multi_Media Protocol.pdf - Accepted Manuscript
Download (391kB)
[img] Archive (ZIP) MediaChannel_Manual.zip - Other
Download (655kB)
[img] Archive (ZIP) MediaChannel_Automatic.zip - Other
Download (411kB)
Item Type: Conference or Workshop Item (Paper)
Digital Object Identifier (DOI): doi:10.1007/978-3-642-17071-3_5
Venue - Dates: FMCO Formal Methods for Components and Objects, 2010-06-01
Organisations: Electronic & Software Systems
ePrint ID: 271261
Date :
Date Event
June 2010Accepted/In Press
2010e-pub ahead of print
Date Deposited: 14 Jun 2010 09:24
Last Modified: 17 Apr 2017 18:18
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271261

Actions (login required)

View Item View Item