title: Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B 
creator: Yeganefard, Sanaz
creator: Butler, Michael
creator: Rezazadeh, Abdolbaghi
subject: Requirements and evolution
subject: Event-B Examples
date: 2010-04
type: Article
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/209/1/cookbookCC.pdf
identifier:   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)  
relation: http://deploy-eprints.ecs.soton.ac.uk/209/

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