- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Liu Jiufu: Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle. ACM SIGSOFT Software Engineering Notes 32(2): 1-4 (2007) |