Методи формального опису систем управління повноваженнями на основі використання математичної логіки
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Анотація
Опис
Теми
Цитування
Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр.