Industrial deployment of system engineering methods providing high dependability and productivity

Item Removed

You seem to be attempting to access an item that has been removed from the repository.

There is a later version of the item you are trying to access:
Edmunds, Andrew and Butler, Michael (2009) A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers. [Rodin Archive]

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved