Обідін, Д. М.
Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань [] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND!

Рубрикатор НБУВ:
 З970.50 
УДК:
 519.816 
Тематичні рубрики:
 Бази знань 


Шифр журнала:

Анотація: Доведено теорему, яка показує, що для одержання результату верифікації з високою достовірністю необхідно, щоб інформація про результати перевірок нагромаджувалася тільки в коректних модулях. !oprip481_H.pft: FILE NOT FOUND!