Modeling guidelines of FreeRTOS in Event-B


Alkhammash, Eman, Butler, Michael and Cirstea, Corina (2016) Modeling guidelines of FreeRTOS in Event-B At Communication, Management and Information Technology: Proceedings of the International Conference on Communication, Management and Information Technology (Iccmit 2016). , pp. 453-462.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
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
ePrint ID: 403134
Date :
Date Event
2016Published
Date Deposited: 22 Nov 2016 11:19
Last Modified: 17 Apr 2017 00:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/403134

Actions (login required)

View Item View Item