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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
- Accepted Version
Download (382Kb) |
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_bzip2.png) |
Archive (BZ2) (Manual Event-B Model (Rodin Archive))
Download (640Kb) |
|
Archive (BZ2) (Automatic Event-B Model (Rodin Archive))
Download (401Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 271261 |
| Date Deposited: | 14 Jun 2010 09:24 |
| Last Modified: | 03 Jul 2012 16:00 |
| Contributors: | Salehi Fathabadi, Asieh (Author) Butler, Michael (Author) |
| Date: | 2010 |
| Status: | Unpublished |
| Publisher: | Springer LNCS |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/271261 |
Actions (login required)
 |
View Item |
