FMCO   2009 Formal Methods for Components and Objects
Wall of Fame | Most Viewed FMCO-2009 Paper
203views Formal Methods» more  FMCO 2009»
8 years 2 months ago
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
Asieh Salehi Fathabadi, Michael Butler
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source203
2Download preprint from source161
3Download preprint from source134
4Download preprint from source130
5Download preprint from source128
6Download preprint from source120