Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. In, Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, Washington DC, 13 - 14 Apr 2010. , 182-191.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF (Conference paper)
Download (264Kb) |
|
PDF (Conference slides)
Download (411Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: 13-14 April 2010 |
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 270899 |
| Date Deposited: | 21 Apr 2010 16:18 |
| Last Modified: | 20 Apr 2012 10:21 |
| Contributors: | Yeganefard, Sanaz (Author) Butler, Michael (Author) Rezazadeh, Abdolbaghi (Author) |
| Date: | April 2010 |
| Additional Information: | Event Dates: 13-14 April 2010 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/270899 |
Actions (login required)
 |
View Item |
