UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle

Jiufu Liu, Zhong Yang. UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China. pages 1135-1141, IEEE Computer Society, 2008. [doi]

Authors

Jiufu Liu

This author has not been identified. Look up 'Jiufu Liu' in Google

Zhong Yang

This author has not been identified. Look up 'Zhong Yang' in Google