Industrial deployment of system engineering methods providing high dependability and productivity

 

Items where Subject is "Training > Rodin tool"

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 10.

Abrial, Jean-Raymond and Metayer, Christophe and Voisin, Laurent (2009) Rodin Manual and Language Definition. Manual. RODIN Project. (Unpublished)

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

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

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

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

Abrial, Jean-Raymond (2007) Rodin Tutorial. [Teaching Resource] (Unpublished)

Hoang, Thai Son A Club Management System. [Rodin Archive]

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

Hallerstede, Stefan and Hoang, Thai Son Post-material for Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished)

Hoang, Thai Son Pre-reading material for the Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished)

This list was generated on Wed Dec 13 07:49:04 2017 GMT.

Deploy-Project - All right reserved