![](/img/cover-not-exists.png)
[IEEE Education (ICCSE) - Nanning, China (2009.07.25-2009.07.28)] 2009 4th International Conference on Computer Science & Education - Test generation from StateChart and B method for flight control software of unmanned aerial vehicle
Liu, Jiufu, Yang, ZhenxingYear:
2009
Language:
english
DOI:
10.1109/iccse.2009.5228205
File:
PDF, 576 KB
english, 2009