Тарасюк Ольга Михайловна. Методы и инструментальные средства метрико-вероятностной оценки качества программного обеспечения информационно-управляющих систем критического применения : Дис... канд. техн. наук: 05.13.06 / Национальный аэрокосмический ун-т им. Н.Е.Жуковского "Харьковский авиационный ин-т". — Х., 2004. — 201л. : рис. — Библиогр.: л. 159-177.