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]

Bibliographies