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 At Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215. 13 - 14 Apr 2010. , pp. 182-191.

Download

[img] PDF paper_13.pdf - Other
Download (270kB)
[img] PDF NFM2010slides.pdf - Other
Download (420kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 13-14 April 2010
Venue - Dates: Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, 2010-04-13 - 2010-04-14
Related URLs:
Organisations: Electronic & Software Systems
ePrint ID: 270899
Date :
Date Event
April 2010Published
Date Deposited: 21 Apr 2010 16:18
Last Modified: 17 Apr 2017 18:26
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/270899

Actions (login required)

View Item View Item