Wen Su, Jean-Raymond Abrial, Geguang Pu, Bin Fang. Formal Development of a Real-Time Operating System Memory Manager. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 130-139, IEEE, 2015. [doi]
Abstract is missing.