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]
No references recorded for this publication.
No citations of this publication recorded.