Industrial deployment of system engineering methods providing high dependability and productivity
 

Incremental Design of Distributed Systems with Event-B

Butler, Michael (2008) Incremental Design of Distributed Systems with Event-B. In: Marktoberdorf Summer School 2008 Lecture Notes. IoS. (In Press)

[img]
Preview
PDF
3439Kb

Official URL: http://eprints.ecs.soton.ac.uk/16910/


Item Type:Book Section
Subjects:Methodology > Refinement
Methodology > Composition and reuse
ID Code:49
Deposited By:Michael Butler
Deposited On:12 Nov 2008 18:08
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

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