Научные области » Верификация программ

Направления обеспечения надежности программного обеспечения в авиакосмической отрасли
А.А. Тюгашев, Материалы XI Международной научно-технической конференции "Авиа-2013", г. Киев, Том 4, С2212-2215.