Методи формального опису систем управління повноваженнями на основі використання математичної логіки
dc.contributor.author | Дурняк, Б.В. | |
dc.contributor.author | Сабат, В.І. | |
dc.contributor.author | Шведова, Л.Є. | |
dc.date.accessioned | 2011-11-09T11:40:42Z | |
dc.date.available | 2011-11-09T11:40:42Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. | uk_UA |
dc.identifier.issn | XXXX-0067 | |
dc.identifier.udc | 004.921 | |
dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/28292 | |
dc.language.iso | uk | uk_UA |
dc.publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України | uk_UA |
dc.relation.ispartof | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України | |
dc.status | published earlier | uk_UA |
dc.title | Методи формального опису систем управління повноваженнями на основі використання математичної логіки | uk_UA |
dc.type | Article | uk_UA |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 36-Durniak.pdf
- Розмір:
- 78.26 KB
- Формат:
- Adobe Portable Document Format
- Опис:
- Стаття
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 919 B
- Формат:
- Item-specific license agreed upon to submission
- Опис: