Industrial deployment of system engineering methods providing high dependability and productivity

 

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

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

[img]
Preview
PDF
276Kb
[img]
Preview
PDF
170Kb
[img]
Preview
PDF
629Kb
[img]
Preview
PDF
693Kb
[img]
Preview
PDF
572Kb

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

Repository Staff Only: item control page

Deploy-Project - All right reserved