Методи формального опису систем управління повноваженнями на основі використання математичної логіки
Saved in:
| Date: | 2010 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Series: | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/28292 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. |