creators_name: Edmunds, Andrew
creators_id: ae2@ecs.soton.ac.uk
type: other
datestamp: 2011-05-06 13:18:02
lastmod: 2011-05-09 09:43:39
metadata_visibility: show
title: Event-B Project Archives, for Tasking Event-B Tutorial
ispublished: unpub
subjects: Event-Bsemantics
subjects: deploy_industrial
subjects: deploy_method
subjects: deploy_tooldev
full_text_status: public
publisher: University of Southampton
citation:   Edmunds, Andrew   Event-B Project Archives, for Tasking Event-B Tutorial.  University of Southampton.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/304/1/Heating_Controller5AddressedNotSim_Completed.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/304/2/Heating_Controller5AddressedSim_Completed.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/304/3/Heating_ControllerTutorial_Completed_Gen.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/304/4/Heating_ControllerTutorial_Completed.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/304/5/Heating_ControllerTutorial_Step1.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/304/6/Heating_ControllerTutorial_Step2.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/304/7/rodin2.1Demo.zip

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