Дударь, З. В.Кобзев, В. Г.Шубин, И. Ю.2019-06-112019-06-112017Дударь З.В. Применение формальных методов при разработке и сопровождении программной системы анализа данных на аномальность / З.В. Дударь, В.Г. Кобзев, И.Ю. Шубин // Информационные системы и технологии : материалы 6-й Междунар. науч. - техн. конф. ИСТ-2017, 12-17 сент. 2017 г., Коблево, Украина / МОН Украины, НАН Украины, ХНУРЭ, АН ПРЭ Украины. – Харьков : ДРУКАРНЯ МАДРИД, 2017. – С. 306.http://openarchive.nure.ua/handle/document/9235Применение формальных методов при разработке и сопровождении программной системы анализа данных на аномальность.ruприменениеприменение формальных методовформальные методыметодов при разработкепрограммная система анализасистема анализасистема анализа данныханализ данных на аномальностьаномаліяThesis