Salehi Fathabadi, Asieh, Dalvandi, Mohammad Sadegh and Butler, Michael (2019) Developing portable embedded software for multicore systems through formal abstraction and refinement. In, Al-Hashimi, Bashir M. and Merrett, Geoff V. (eds.) Many-Core Computing: Hardware and Software. Institute of Engineering and Technology, IET.
Record type:
Book Section
This record has no associated files available for download.
More information
Published date: 3 June 2019
Related URLs:
Identifiers
Local EPrints ID: 431695
URI: http://eprints.soton.ac.uk/id/eprint/431695
PURE UUID: 66cc214c-1ff1-467b-b672-05f3f52b351e
Catalogue record
Date deposited: 13 Jun 2019 16:30
Last modified: 23 Feb 2023 02:55
Export record
Contributors
Author:
Asieh Salehi Fathabadi
Author:
Mohammad Sadegh Dalvandi
Author:
Michael Butler
Editor:
Bashir M. Al-Hashimi
Editor:
Geoff V. Merrett
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.