?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=DEPLOY+Training+Evaluation+Document&rft.creator=R%C3%A4s%C3%A4nen%2C+Tuomas&rft.creator=Nummila%2C+Laura&rft.subject=Industrial+Deployment&rft.subject=Space&rft.subject=Training&rft.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%C3%BCrich.&rft.publisher=Space+Systems+Finland+Ltd&rft.date=2010-09-30&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F314%2F1%2Flearning_report_new.pdf&rft.identifier=++R%C3%A4s%C3%A4nen%2C+Tuomas+and+Nummila%2C+Laura++(2010)+DEPLOY+Training+Evaluation+Document.++Technical+Report.+Space+Systems+Finland+Ltd.++++(Unpublished)++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F314%2F