PROOF INDEPENDENT VERIFICATION AND FORECASTING OF THE HIDDEN DEFECTS OF CRITICAL SOFTWARE BASED MEASUREMENT DIVERSITY INVARIANTS. Конорев, Б. М., Сергієнко, В. В., & Туркін, І. Б. National Aviation University, 2011.
PROOF INDEPENDENT VERIFICATION AND FORECASTING OF THE HIDDEN DEFECTS OF CRITICAL SOFTWARE BASED MEASUREMENT DIVERSITY INVARIANTS [link]Paper  bibtex   
@book{_proof_2011,
	title = {{PROOF} {INDEPENDENT} {VERIFICATION} {AND} {FORECASTING} {OF} {THE} {HIDDEN} {DEFECTS} {OF} {CRITICAL} {SOFTWARE} {BASED} {MEASUREMENT} {DIVERSITY} {INVARIANTS}},
	url = {http://jrnl.nau.edu.ua/index.php/IPZ/article/view/3050},
	language = {English},
	publisher = {National Aviation University},
	author = {Конорев, Борис Михайлович and Сергієнко, Володимир Володимирович and Туркін, Ігор Борисович},
	year = {2011},
	keywords = {Програмне забезпечення, калібрування, незалежна верифікація, профіль дефектів., тестування, формальні методи верифікації, інваріант},
}

Downloads: 0