title: DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability creator: Romanovsky, Alexander subject: Tool developments subject: Event-B subject: Methodology subject: Industrial Deployment subject: Training date: 2008-11 type: Conference or Workshop Item type: PeerReviewed identifier: Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. In: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, Uk. relation: http://deploy-eprints.ecs.soton.ac.uk/68/