Cruise Control in Hybrid Event-B


Banach, Richard and Butler, Michael (2013) Cruise Control in Hybrid Event-B At International Colloquium on Theoretical Aspects of Computing (ICTAC).

Download

[img] PDF CEvB.CruiseCon.pdf - Other
Download (149kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: International Colloquium on Theoretical Aspects of Computing (ICTAC), 2013-09-01
Organisations: Electronic & Software Systems
ePrint ID: 354291
Date :
Date Event
September 2013Published
Date Deposited: 05 Jul 2013 11:17
Last Modified: 23 Feb 2017 03:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/354291

Actions (login required)

View Item View Item