creators_name: Yeganefard, Sanaz
creators_name: Butler, Michael
creators_name: Rezazadeh, Abdolbaghi
type: article
datestamp: 2010-03-08 17:12:38
lastmod: 2010-04-19 15:06:00
metadata_visibility: show
title: Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B 
ispublished: inpress
subjects: deploy_method_reqevo
subjects: examples
full_text_status: public
date: 2010-04
date_type: published
publication: NASA Formal Methods Symposium 2010
refereed: TRUE
citation:   Yeganefard, Sanaz and Butler, Michael and Rezazadeh, Abdolbaghi  (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.  NASA Formal Methods Symposium 2010 .       (In Press)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/209/1/cookbookCC.pdf

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