{"_id":"2oMYF6hw4AQH5kyDj","bibbaseid":"cao-lv-huang-shi-li-formalanalysisandverificationofairbornesoftwarebasedondo333-2020","author_short":["Cao, Z.","Lv, W.","Huang, Y.","Shi, J.","Li, Q."],"bibdata":{"bibtype":"article","type":"article","title":"Formal analysis and verification of airborne software based on DO-333","volume":"9","doi":"10/ghvzzj","number":"2","journal":"Electronics","author":[{"propositions":[],"lastnames":["Cao"],"firstnames":["Zongyu"],"suffixes":[]},{"propositions":[],"lastnames":["Lv"],"firstnames":["Wanyou"],"suffixes":[]},{"propositions":[],"lastnames":["Huang"],"firstnames":["Yanhong"],"suffixes":[]},{"propositions":[],"lastnames":["Shi"],"firstnames":["Jianqi"],"suffixes":[]},{"propositions":[],"lastnames":["Li"],"firstnames":["Qin"],"suffixes":[]}],"year":"2020","note":"tex.ids= caoFormalAnalysisVerification2020a, caoFormalAnalysisVerification2020b, caoFormalAnalysisVerification2020c, caoFormalAnalysisVerification2020d, caoFormalAnalysisVerification2020e, caoFormalAnalysisVerification2020f, caoFormalAnalysisVerification2020g, caoFormalAnalysisVerification2020h, caoFormalAnalysisVerification2020i, cao_formal_2020 publisher: Multidisciplinary Digital Publishing Institute","keywords":"DO-333, TK7800-8360, ⛔ No DOI found","pages":"327","bibtex":"@article{cao_formal_2020,\n\ttitle = {Formal analysis and verification of airborne software based on {DO}-333},\n\tvolume = {9},\n\tdoi = {10/ghvzzj},\n\tnumber = {2},\n\tjournal = {Electronics},\n\tauthor = {Cao, Zongyu and Lv, Wanyou and Huang, Yanhong and Shi, Jianqi and Li, Qin},\n\tyear = {2020},\n\tnote = {tex.ids= caoFormalAnalysisVerification2020a, caoFormalAnalysisVerification2020b, caoFormalAnalysisVerification2020c, caoFormalAnalysisVerification2020d, caoFormalAnalysisVerification2020e, caoFormalAnalysisVerification2020f, caoFormalAnalysisVerification2020g, caoFormalAnalysisVerification2020h, caoFormalAnalysisVerification2020i, cao\\_formal\\_2020\npublisher: Multidisciplinary Digital Publishing Institute},\n\tkeywords = {DO-333, TK7800-8360, ⛔ No DOI found},\n\tpages = {327},\n}\n\n","author_short":["Cao, Z.","Lv, W.","Huang, Y.","Shi, J.","Li, Q."],"key":"cao_formal_2020","id":"cao_formal_2020","bibbaseid":"cao-lv-huang-shi-li-formalanalysisandverificationofairbornesoftwarebasedondo333-2020","role":"author","urls":{},"keyword":["DO-333","TK7800-8360","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["do-333","tk7800-8360","⛔ no doi found"],"search_terms":["formal","analysis","verification","airborne","software","based","333","cao","lv","huang","shi","li"],"title":"Formal analysis and verification of airborne software based on DO-333","year":2020}