creators_name: Iliasov, Alexei
creators_id: "Alexei Iliasov" <Alexei.Iliasov@newcastle.ac.uk>
type: teaching_resource
datestamp: 2010-05-21 13:00:15
lastmod: 2010-05-24 07:54:18
metadata_visibility: show
title: A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study
ispublished: unpub
subjects: Event-Bsemantics
subjects: Refinement
subjects: deploy_tooldev
subjects: deploy_tooldev_modelc
subjects: deploy_tooldev_rodinplugins
subjects: deploy_training
full_text_status: public
abstract: training material on modularisation in Event-B
citation:   Iliasov, Alexei   A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study.  [Teaching Resource]    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/227/1/modularisation-lecture.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/227/3/parking_lot_dev2.zip

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