{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T10:41:30Z","timestamp":1648896090402},"reference-count":10,"publisher":"International Academy Publishing (IAP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.4.800-806","type":"journal-article","created":{"date-parts":[[2014,4,23]],"date-time":"2014-04-23T16:46:06Z","timestamp":1398271566000},"source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Analyzing Flight Control Software of Unmanned Aerial Vehicle Using UML and B Method"],"prefix":"10.17706","volume":"9","author":[{"given":"Jiufu","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianyong","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunsheng","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhong","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhisheng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,4,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.4.792-798"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.009"},{"key":"ref4","first-page":"1","article-title":"Dynamic graphical UML views from formal B specifications","volume":"33","author":"Idani","year":"2005","unstructured":"[5] Akram Idani, Yves Ledru. Dynamic graphical UML views from formal B specifications[J]. Information and Software Technology, 2005,33: 1-16","journal-title":"Inf Softw Technol","ISSN":"http:\/\/id.crossref.org\/issn\/0950-5849","issn-type":"print"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2005.05.002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.4.769-775"},{"key":"ref7","first-page":"171","article-title":"Refinement of Statemachines Using Event B Semantics. B 2007","volume":"4355","author":"Snook","year":"2006","unstructured":"[12] Colin Snook, Marina Wald\u00e9n. Refinement of Statemachines Using Event B Semantics. B 2007, LNCS 4355, 2006:171\u2013185","journal-title":"LNCS"},{"key":"ref8","first-page":"1135","article-title":"UML and B method based analysis and refinement for flight control software of unmanned aerial vehicle.","volume-title":"2008 International Conference on Computer Science and Software Engineering","author":"Jiufu","year":"2008","unstructured":"[13] Jiufu LIU, Zhong YANG. UML and B method based analysis and refinement for flight control software of unmanned aerial vehicle. 2008 International Conference on Computer Science and Software Engineering,2008, 1135 - 1141"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1234741.1234759"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.8.4.1058-1064"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:27:06Z","timestamp":1442330826000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/12383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":10,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2014,4,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.4.800-806","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}