Browse by Type

Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted)

Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished)

Butler, Michael (2012) Abstraction, Refinement and Decomposition for Systems Engineering. [Teaching Resource] (Unpublished)

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander (2011) Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011). [Teaching Resource]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Abrial, Jean-Raymond Location Access Controller. [Teaching Resource] (Unpublished)

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

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

Iliasov, Alexei A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study. [Teaching Resource] (Unpublished)

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

Snook, Colin Slides on UML-B used for Deploy Associate Training. [Teaching Resource] (Unpublished)

Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)