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. In, FMCO Formal Methods for Components and Objects Springer LNCS, 89-104.

Download

[img] PDF - Accepted Version
Download (382Kb)
[img] Archive (BZ2) (Manual Event-B Model (Rodin Archive))
Download (640Kb)
[img] Archive (BZ2) (Automatic Event-B Model (Rodin Archive))
Download (401Kb)
Item Type: Conference or Workshop Item (Paper)
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 271261
Date Deposited: 14 Jun 2010 09:24
Last Modified: 27 Mar 2014 20:16
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271261

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics