Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code
You are here
| Title | Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Sanán D, Yang L, Yongwang Z, Zhenchang x, Hinchey M |
| Conference Name | 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) |
| Date Published | 12/2015 |
| DOI | 10.1109/ICECCS.2015.23 |
