За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
 

Публікація:
Применение формальных методов при разработке и сопровождении программной системы анализа данных на аномальность

Завантаження...
Зображення мініатюри

Дата

2017

Назва журналу

ISSN журналу

Назва тома

Видавництво

ДРУКАРНЯ МАДРИД

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Применение формальных методов при разработке и сопровождении программной системы анализа данных на аномальность.

Опис

Ключові слова

применение, применение формальных методов, формальные методы, методов при разработке, программная система анализа, система анализа, система анализа данных, анализ данных на аномальность, аномалія

Бібліографічний опис

Дударь З.В. Применение формальных методов при разработке и сопровождении программной системы анализа данных на аномальность / З.В. Дударь, В.Г. Кобзев, И.Ю. Шубин // Информационные системы и технологии : материалы 6-й Междунар. науч. - техн. конф. ИСТ-2017, 12-17 сент. 2017 г., Коблево, Украина / МОН Украины, НАН Украины, ХНУРЭ, АН ПРЭ Украины. – Харьков : ДРУКАРНЯ МАДРИД, 2017. – С. 306.

DOI