Modelling and Refining Hybrid Systems in Event-B and Rodin


Butler, Michael, Abrial, Jean-Raymond and Banach, Richard (2016) Modelling and Refining Hybrid Systems in Event-B and Rodin In, Petre, Luigia and Sekerinski, Emil (eds.) From Action System to Distributed Systems: The Refinement Approach. Taylor & Francis (doi:10.1201/b20053-5).

Download

[img] PDF Article.pdf - Other
Download (319kB)
Item Type: Book Section
Digital Object Identifier (DOI): doi:10.1201/b20053-5
ISBNs: 9781498701587 (print)
Organisations: Electronic & Software Systems
ePrint ID: 376053
Date :
Date Event
April 2016Published
Date Deposited: 13 Apr 2015 21:47
Last Modified: 17 Apr 2017 06:23
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/376053

Actions (login required)

View Item View Item