%0 Journal Article %1 jiufu_07_integration %A Jiufu, Liu %C New York, NY, USA %D 2007 %I ACM Press %J SIGSOFT Softw. Eng. Notes %K 2007 b statecharts %N 2 %P 1--4 %R 10.1145/1234741.1234759 %T Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle %U http://dx.doi.org/10.1145/1234741.1234759 %V 32

@article{jiufu_07_integration, added-at = {2009-02-11T20:51:25.000+0100}, address = {New York, NY, USA}, author = {Jiufu, Liu}, biburl = {https://www.bibsonomy.org/bibtex/23411c4053f7b94c7800f7b6cb4a0b898/leonardo}, citeulike-article-id = {1736858}, doi = {10.1145/1234741.1234759}, interhash = {ca18bb2fd71db13ce6cccb77f3e83533}, intrahash = {3411c4053f7b94c7800f7b6cb4a0b898}, issn = {0163-5948}, journal = {SIGSOFT Softw. Eng. Notes}, keywords = {2007 b statecharts}, month = {March}, number = 2, pages = {1--4}, posted-at = {2007-10-07 19:22:30}, priority = {2}, publisher = {ACM Press}, timestamp = {2009-02-11T20:51:25.000+0100}, title = {Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle}, url = {http://dx.doi.org/10.1145/1234741.1234759}, volume = 32, year = 2007 }