title: DEPLOY Training Evaluation Document
creator: Räsänen, Tuomas
creator: Nummila, Laura
subject: Industrial Deployment
subject: Space
subject: Training
description: Evaluation of the effort needed for an engineer with no experience in formal methods to become a competent user of Event-B. A full report for what was presented in the DEPLOY Plenary Meeting in Zürich.
publisher: Space Systems Finland Ltd
date: 2010-09-30
type: Monograph
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/314/1/learning_report_new.pdf
identifier:   Räsänen, Tuomas and Nummila, Laura  (2010) DEPLOY Training Evaluation Document.  Technical Report. Space Systems Finland Ltd.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/314/