Industrial deployment of system engineering methods providing high dependability and productivity

 

Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials. [DEPLOY Deliverable]

[img]
Preview
PDF
120Kb
[img]
Preview
PDF
313Kb
[img]
Preview
PDF
180Kb

Item Type:DEPLOY Deliverable
Subjects:Training > Rodin tool
Event-B > Event-B Theory
Training > Event-B
Event-B > Event-B Examples
ID Code:53
Deposited By:Thai Son Hoang
Deposited On:25 Dec 2008 12:17
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved