Зведений каталог бібліотек Харкова
Потиенко, С. В. Статическая проверка требований и подходы к решению проблемы достижимости [Текст] / Институт кибернетики имени В.М.Глушкова НАН Украины, г.Киев, Украина // Искусственный интеллект. — 2009. — С. 192-197.
- Анотація:
Предложен метод статического анализа систем, представленныхв формализме базовых протоколов. Построены алгоритмы проверки таких свойств систем, ка непротиворечивость и полнота, а также выполнимость условий целостности.
- Є складовою частиною документа:
Искусственный интеллект [Текст] // Искусственный интеллект ; Нац. акад. наук Украины, Ин-т проблем искусств. интеллетка - Донецк : ІПШІ "Наука і освіта" , 2003. — 2009.
- Теми документа
