{"_id":"NBxbnzJMiYwt5wK8Y","bibbaseid":"yin-liu-su-researchonformalverificationtechniqueforaircraftsafetycriticalsoftware-2010","author_short":["Yin, Y.","Liu, B.","Su, D."],"bibdata":{"bibtype":"article","type":"article","title":"Research on Formal Verification Technique for Aircraft Safety-Critical Software.","volume":"5","number":"8","journal":"JCP","author":[{"propositions":[],"lastnames":["Yin"],"firstnames":["Yongfeng"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Bin"],"suffixes":[]},{"propositions":[],"lastnames":["Su"],"firstnames":["Duo"],"suffixes":[]}],"year":"2010","note":"tex.ids= yinResearchFormalVerification2010a, yinResearchFormalVerification2010b, yinResearchFormalVerification2010c, yinResearchFormalVerification2010d, yinResearchFormalVerification2010e, yinResearchFormalVerification2010f, yinResearchFormalVerification2010g, yin_research_2010 publisher: Citeseer","keywords":"⛔ No DOI found","pages":"1152–1159","bibtex":"@article{yin_research_2010,\n\ttitle = {Research on {Formal} {Verification} {Technique} for {Aircraft} {Safety}-{Critical} {Software}.},\n\tvolume = {5},\n\tnumber = {8},\n\tjournal = {JCP},\n\tauthor = {Yin, Yongfeng and Liu, Bin and Su, Duo},\n\tyear = {2010},\n\tnote = {tex.ids= yinResearchFormalVerification2010a, yinResearchFormalVerification2010b, yinResearchFormalVerification2010c, yinResearchFormalVerification2010d, yinResearchFormalVerification2010e, yinResearchFormalVerification2010f, yinResearchFormalVerification2010g, yin\\_research\\_2010\npublisher: Citeseer},\n\tkeywords = {⛔ No DOI found},\n\tpages = {1152--1159},\n}\n\n","author_short":["Yin, Y.","Liu, B.","Su, D."],"key":"yin_research_2010","id":"yin_research_2010","bibbaseid":"yin-liu-su-researchonformalverificationtechniqueforaircraftsafetycriticalsoftware-2010","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["⛔ no doi found"],"search_terms":["research","formal","verification","technique","aircraft","safety","critical","software","yin","liu","su"],"title":"Research on Formal Verification Technique for Aircraft Safety-Critical Software.","year":2010}