Items where Subject is "Training > Event-B"

Butler, Michael (2010) Slides on Event-B used for Deploy Associate Training. [Teaching Resource] (Unpublished)

Hoang, Thai Son (2010) How to Interpret Failed Proofs in Event-B. Technical Report. ETH Zurich, Switzerland, Zurich. (Unpublished)

Butler, Michael (2009) Towards a Cookbook for Modelling and Refinement of Control Problems. Working Paper. ECS, University of Southampton. (Unpublished)

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]

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

Abrial, Jean-Raymond A Mechanical Press Controller. [Teaching Resource] (Unpublished)

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

Abrial, Jean-Raymond Concurrent Program Development. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Controlling Cars on a Bridge. [Teaching Resource] (Unpublished)

Hudon, Simon and Hoang, Thai Son Development of a Signal Control System. [Rodin Archive]

Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive]

Abrial, Jean-Raymond Electronic Circuits Development. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond File Transfer Protocol. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Introduction. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Leader Election on a Ring-shaped Network. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Location Access Controller. [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)

Abrial, Jean-Raymond Routing Algorithm for Mobile Agent. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Sequential Program Development. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Synchronizing Processes on a Tree Network. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond The Bounded Re-transmission Protocol. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond The Leader Election Protocol (IEEE1394). [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Train System. [Teaching Resource] (Unpublished)