Harnessing rCOS for Tool Support - The CoCoME Experience - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang. Harnessing rCOS for Tool Support - The CoCoME Experience. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007. Volume 4700 of Lecture Notes in Computer Science, pages 83-114, Springer, 2007. [doi]

This author has not been identified. Look up 'Zhenbang Chen' in GoogleThis author has not been identified. Look up 'Xiaoshan Li' in GoogleThis author has not been identified. Look up 'Zhiming Liu' in GoogleThis author has not been identified. Look up 'Volker Stolz' in GoogleThis author has not been identified. Look up 'Lu Yang' in Google

runs on WebDSL