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)

[img]
Preview
PDF
144Kb

Abstract

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
Training
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