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
Publisher: Springer LNCS
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/271261

Actions (login required)

View Item View Item