Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle
Jiufu, LiuVolume:
32
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1234741.1234759
Date:
March, 2007
File:
PDF, 284 KB
english, 2007