Alkhammash, Eman, Butler, Michael and Cirstea, Corina (2016) Modeling guidelines of FreeRTOS in Event-B. Communication, Management and Information Technology: Proceedings of the International Conference on Communication, Management and Information Technology (Iccmit 2016). pp. 453-462 .
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 2016
Venue - Dates:
Communication, Management and Information Technology: Proceedings of the International Conference on Communication, Management and Information Technology (Iccmit 2016), 2016-01-01
Related URLs:
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 403134
URI: http://eprints.soton.ac.uk/id/eprint/403134
PURE UUID: 4d5b2ec4-47de-4e77-8e65-eedbeb676965
Catalogue record
Date deposited: 22 Nov 2016 11:19
Last modified: 15 Dec 2022 02:38
Export record
Contributors
Author:
Eman Alkhammash
Author:
Michael Butler
Author:
Corina Cirstea
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.