A Hybrid Event-B Study of Lane Centering


Banach, Richard and Butler, Michael (2013) A Hybrid Event-B Study of Lane Centering At Complex Systems Design & Management (CSD&M) 2013.

Download

[img] PDF CEvB.LaneCon.pdf - Other
Download (372kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Complex Systems Design & Management (CSD&M) 2013, 2013-12-01
Organisations: Electronic & Software Systems
ePrint ID: 354292
Date :
Date Event
December 2013Published
Date Deposited: 05 Jul 2013 11:20
Last Modified: 17 Apr 2017 15:18
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/354292

Actions (login required)

View Item View Item