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-Project - All right reserved