title: Event-B Project Archives, for Tasking Event-B Tutorial
creator: Edmunds, Andrew
subject: Event-B
subject: Industrial Deployment
subject: Methodology
subject: Tool developments
publisher: University of Southampton
type: Other
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/304/1/Heating_Controller5AddressedNotSim_Completed.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/304/2/Heating_Controller5AddressedSim_Completed.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/304/3/Heating_ControllerTutorial_Completed_Gen.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/304/4/Heating_ControllerTutorial_Completed.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/304/5/Heating_ControllerTutorial_Step1.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/304/6/Heating_ControllerTutorial_Step2.zip
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/304/7/rodin2.1Demo.zip
identifier:   Edmunds, Andrew   Event-B Project Archives, for Tasking Event-B Tutorial.  University of Southampton.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/304/

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