Räsänen, Tuomas and Nummila, Laura (2010) DEPLOY Training Evaluation Document. Technical Report. Space Systems Finland Ltd. (Unpublished)
![[img]](../style/images/fileicons/application_pdf.png)
| 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
