Зведений каталог бібліотек Харкова
Сидельникова, Е. В. Верификация политик фильтрации с помощью исчисления событий и абдуктивного вывода [Текст] / Е.В. Сидельникова, А.В. Тишков, И.В. Котенко // Известия высших учебных заведений. Приборостроение. / МО РФ, СПб ГУИТМО. — С. 31-35.
- Анотація:
Рассматривается подход к верификации политик фильтрации с помошью абдуктивного вывода.
- Є складовою частиною документа:
Известия высших учебных заведений. Приборостроение. [Текст] / МО РФ, СПб ГУИТМО. — СПб.
- Теми документа
