Research on Formal Verification Technique for Aircraft Safety-Critical Software. Yin, Y., Liu, B., & Su, D. JCP, 5(8):1152–1159, 2010. tex.ids= yinResearchFormalVerification2010a, yinResearchFormalVerification2010b, yinResearchFormalVerification2010c, yinResearchFormalVerification2010d, yinResearchFormalVerification2010e, yinResearchFormalVerification2010f, yinResearchFormalVerification2010g, yin_research_2010 publisher: Citeseer
bibtex   
@article{yin_research_2010,
	title = {Research on {Formal} {Verification} {Technique} for {Aircraft} {Safety}-{Critical} {Software}.},
	volume = {5},
	number = {8},
	journal = {JCP},
	author = {Yin, Yongfeng and Liu, Bin and Su, Duo},
	year = {2010},
	note = {tex.ids= yinResearchFormalVerification2010a, yinResearchFormalVerification2010b, yinResearchFormalVerification2010c, yinResearchFormalVerification2010d, yinResearchFormalVerification2010e, yinResearchFormalVerification2010f, yinResearchFormalVerification2010g, yin\_research\_2010
publisher: Citeseer},
	keywords = {⛔ No DOI found},
	pages = {1152--1159},
}

Downloads: 0