A Hybrid Event-B Study of Lane Centering

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

Record type: Conference or Workshop Item (Paper)

Text

CEvB.LaneCon.pdf - Other

Download (372kB)

More information

Published date: December 2013

Venue - Dates: Complex Systems Design & Management (CSD&M) 2013, 2013-12-01

Organisations: Electronic & Software Systems

Local EPrints ID: 354292

URI: http://eprints.soton.ac.uk/id/eprint/354292

PURE UUID: 7e088f70-527b-46e3-91de-4133f4f1d951

ORCID for Michael Butler:

orcid.org/0000-0003-4642-5373

Date deposited: 05 Jul 2013 11:20

Last modified: 15 Mar 2024 02:50

Author: Richard Banach

Author: Michael Butler

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.