Industrial deployment of system engineering methods providing high dependability and productivity


DEPLOY Training Evaluation Document

Räsänen, Tuomas and Nummila, Laura (2010) DEPLOY Training Evaluation Document. Technical Report. Space Systems Finland Ltd. (Unpublished)



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.

Item Type:Monograph (Technical Report)
Subjects:Industrial Deployment
Industrial Deployment > Space
ID Code:314
Deposited By:Dr. Kimmo Varpaaniemi
Deposited On:01 Jul 2011 11:55
Last Modified:01 Jul 2011 11:55

Repository Staff Only: item control page

Deploy-Project - All right reserved