title: A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study
creator: Iliasov, Alexei
subject: Event-B
subject: Refinement
subject: Tool developments
subject: Model construction
subject: Rodin plug-ins
subject: Training
description: training material on modularisation in Event-B
type: Teaching Resource
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/227/1/modularisation-lecture.pdf
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/227/3/parking_lot_dev2.zip
identifier:   Iliasov, Alexei   A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study.  [Teaching Resource]    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/227/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>