Dalvandi, Mohammad Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) Using formal methods for automatic platform-independent code generation of run-time management. University Booth at DATE 2018, Maritim Hotel & Internationales Congress Center, Dresden, Germany. 19 - 22 Mar 2018.
Record type:
Conference or Workshop Item
(Other)
More information
Published date: March 2018
Venue - Dates:
University Booth at DATE 2018, Maritim Hotel & Internationales Congress Center, Dresden, Germany, 2018-03-19 - 2018-03-22
Identifiers
Local EPrints ID: 419215
URI: http://eprints.soton.ac.uk/id/eprint/419215
PURE UUID: b53afed7-1af8-49e9-9d8d-62e68fddebf7
Catalogue record
Date deposited: 09 Apr 2018 16:30
Last modified: 14 Mar 2024 02:56
Export record
Contributors
Author:
Mohammad Sadegh Dalvandi
Author:
Asieh Salehi Fathabadi
Author:
Michael Butler
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.