title: Industrial deployment of system engineering methods providing high dependability and productivity. 
creator: Romanovsky, Alexander
creator: Thomas, Martyn
subject: Event-B
subject: Industrial Deployment
subject: Methodology
subject: Tool developments
subject: Training
publisher: Springer
date: 2013-04
type: Book
type: PeerReviewed
identifier:   Romanovsky, Alexander and Thomas, Martyn  (2013) Industrial deployment of system engineering methods providing high dependability and productivity.    Springer.     (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/423/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>