Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Sanán, Liu Yang, Yongwang Zhao, Zhenchang Xing, Mike Hinchey. Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 120-129, IEEE, 2015. [doi]

This author has not been identified. Look up 'David Sanán' in GoogleThis author has not been identified. Look up 'Liu Yang' in GoogleThis author has not been identified. Look up 'Yongwang Zhao' in GoogleThis author has not been identified. Look up 'Zhenchang Xing' in GoogleThis author has not been identified. Look up 'Mike Hinchey' in Google

runs on WebDSL