Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Селяков, Е. Б.
    Моделирование требований к техническим системам методами математической логики [Текст] / Державний інститут інформатики і штучного інтелекту, м.Донецьк, Україна // Автоматика. Автоматизация. Электротехнические комплексы и системы : научно-технический журнал. — Херсон, 2009. — 2. — С. 12-17.

- Ключові слова:

технічні системи/технические системы/technical systems

- Анотація:

В статье рассмотрен способ моделирования взаимосвязей между требованиями к технической системе посредством задания предикатов отношений между множествами требований.

- Є складовою частиною документа:

- Теми документа

  • УДК // Техніка програмування. Програмотехніка



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт