Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, Washington DC. 13 - 14 Apr 2010. pp. 182-191 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: April 2010
Additional Information:
Event Dates: 13-14 April 2010
Venue - Dates:
Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, Washington DC, 2010-04-13 - 2010-04-14
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 270899
URI: http://eprints.soton.ac.uk/id/eprint/270899
PURE UUID: 2a4e9a37-ca9d-4439-828f-44ba3e47d931
Catalogue record
Date deposited: 21 Apr 2010 16:18
Last modified: 15 Mar 2024 03:17
Export record
Contributors
Author:
Sanaz Yeganefard
Author:
Michael Butler
Author:
Abdolbaghi Rezazadeh
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.