{"_id":"neDs4EWyrhsKMPfK4","bibbaseid":"jianchun-deshuai-qiliang-ping-hongda-xuewei-adaptivesoftwareumlunifiedmodelinglanguagemodelingandformalverificationmethod-2015","author_short":["Jianchun, X.","Deshuai, H.","Qiliang, Y.","Ping, W.","Hongda, W.","Xuewei, Z."],"bibdata":{"bibtype":"book","type":"book","title":"Adaptive software UML (unified modeling language) modeling and formal verification method","author":[{"propositions":[],"lastnames":["Jianchun"],"firstnames":["Xing"],"suffixes":[]},{"propositions":[],"lastnames":["Deshuai"],"firstnames":["Han"],"suffixes":[]},{"propositions":[],"lastnames":["Qiliang"],"firstnames":["Yang"],"suffixes":[]},{"propositions":[],"lastnames":["Ping"],"firstnames":["Wang"],"suffixes":[]},{"propositions":[],"lastnames":["Hongda"],"firstnames":["Wang"],"suffixes":[]},{"propositions":[],"lastnames":["Xuewei"],"firstnames":["Zhang"],"suffixes":[]}],"year":"2015","bibtex":"@book{jianchun_adaptive_2015,\n\ttitle = {Adaptive software {UML} (unified modeling language) modeling and formal verification method},\n\tauthor = {Jianchun, Xing and Deshuai, Han and Qiliang, Yang and Ping, Wang and Hongda, Wang and Xuewei, Zhang},\n\tyear = {2015},\n}\n\n","author_short":["Jianchun, X.","Deshuai, H.","Qiliang, Y.","Ping, W.","Hongda, W.","Xuewei, Z."],"key":"jianchun_adaptive_2015","id":"jianchun_adaptive_2015","bibbaseid":"jianchun-deshuai-qiliang-ping-hongda-xuewei-adaptivesoftwareumlunifiedmodelinglanguagemodelingandformalverificationmethod-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["adaptive","software","uml","unified","modeling","language","modeling","formal","verification","method","jianchun","deshuai","qiliang","ping","hongda","xuewei"],"title":"Adaptive software UML (unified modeling language) modeling and formal verification method","year":2015}