Industrial deployment of system engineering methods providing high dependability and productivity
 

Bucharest DEPLOY 2-day course

Hoang, Thai Son Bucharest DEPLOY 2-day course. [Teaching Resource] (Unpublished)

[img]
Preview
PDF (Controlling cars on a bridge (slides))
2438Kb
[img]
Preview
PDF (Controlling cars on a bridge (4-up handout))
1003Kb
[img]ZIP Archive (Controlling cars on a bridge (RODIN Platform archive))
90Kb
[img]
Preview
PDF (Bounded retransmission protocol (slides))
983Kb
[img]
Preview
PDF (Bounded retransmission protocol (4-up handout))
466Kb
[img]ZIP Archive (Bounded retransmission protocol (RODIN Platform archive))
80Kb
[img]ZIP Archive (A strict society (RODIN Platform archive))
6Kb
[img]
Preview
PDF (Reference card (by Ken Robinson))
115Kb
[img]
Preview
PDF (Instructions)
51Kb
[img]
Preview
PDF (Overview slides)
118Kb

Item Type:Teaching Resource
Subjects:Training > Event-B
Training > Rodin tool
ID Code:238
Deposited By:Thai Son Hoang
Deposited On:09 Jul 2010 15:19
Last Modified:19 Jul 2010 16:20

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved