Industrial deployment of system engineering methods providing high dependability and productivity

 

Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives

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

[img]ZIP Archive
56Kb
[img]ZIP Archive
89Kb
[img]ZIP Archive
11Kb
[img]ZIP Archive
15Kb
[img]ZIP Archive
18Kb
[img]ZIP Archive
43Kb
[img]ZIP Archive
49Kb
[img]ZIP Archive
82Kb
[img]ZIP Archive
19Kb
[img]ZIP Archive
22Kb
[img]ZIP Archive
24Kb
[img]ZIP Archive
23Kb

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

Repository Staff Only: item control page

Deploy-Project - All right reserved