AppendixC: Event-B Model of the Message Passing Case-study (Manual)

Sarshogh, Mohammad Reza (2012) AppendixC: Event-B Model of the Message Passing Case-study (Manual) University of Southampton

Record type: Monograph (Project Report)

Text

MessagePassing.pdf - Other

Download (996kB)

More information

Published date: 6 November 2012

Organisations: Electronic & Software Systems

Local EPrints ID: 342272

URI: http://eprints.soton.ac.uk/id/eprint/342272

PURE UUID: 64c6db5d-e180-4ed1-a672-2144b72da458

Date deposited: 17 Aug 2012 15:05

Last modified: 14 Mar 2024 11:48

Author: Mohammad Reza Sarshogh

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

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.