creators_name: Colley, John
creators_id: J.L.Colley@ecs.soton.ac.uk
type: teaching_resource
datestamp: 2012-10-09 16:18:22
lastmod: 2013-02-18 14:58:53
metadata_visibility: show
title: Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design 
ispublished: unpub
subjects: ADVANCE
subjects: deploy_training
full_text_status: public
note: Presented at FDL 2012, Vienna
date: 2012-09
date_type: completed
citation:   Colley, John  (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design.  [Teaching Resource]    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/457/1/FDLtutorial03.pdf

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