004
Н57	Неткачева, Е. И.     Методы и информационная технология оценки функциональной безопасности информационно-управляющих систем с использованием формальных нотаций [Текст] : дис. ... канд. техн. наук : 05.13.06 - информ. технологии : защищена 22.03.13 / М-во образования и науки, молодежи и спорта Украины, Тавр. нац. ун-т им. В. И. Вернадского ; науч. рук. Харченко В. С. — Х., 2013. — 190 с.