Model Checking \mu μ C/OS-III Multi-task System with TMSVL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou. Model Checking \mu μ C/OS-III Multi-task System with TMSVL. In Michael Butler, Sylvain Conchon, Fatiha Zaïdi, editors, Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Volume 9407 of Lecture Notes in Computer Science, pages 187-200, Springer, 2015. [doi]

This author has not been identified. Look up 'Jin Cui' in GoogleThis author has not been identified. Look up 'Zhenhua Duan' in GoogleThis author has not been identified. Look up 'Cong Tian' in GoogleThis author has not been identified. Look up 'Nan Zhang' in GoogleThis author has not been identified. Look up 'Conghao Zhou' in Google

runs on WebDSL