Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
модель формальна, модель формальная
Документи:
- Бігдай, М. О. Лексикографічна база даних на основі лексико-семантичних груп дієслів української мови [Текст] / М. О. Бігдай // Вісник Національного університету "Львівська політехніка". Серія : Інформаційні системи та мережі : збірник наукових праць / МОН України. – Львів : Львівська політехніка, 2015. – № 832. – С. 285-295.
- Буров, Є. В. Формальна модель опрацювання знань у системах із ситуаційною обізнаністю [Текст] / Є. В. Буров, Х. І. Микіч // Вісник Національного університету "Львівська політехніка". Серія: Інформаційні системи та мережі : збірник наукових праць / МОН України. – Львів : Львівська політехніка, 2017. – № 872. – С. 25-34.
- Верлань, А. Ф. Построение формальной модели вопросно-ответного взаимодействия пользователя с автоматизированной системой [Текст] / А. Ф. Верлань, И. А. Чмырь // Электронное моделирование. – 2014. – Т. 36, № 1. – С. 41-48.
- Гороховский, С. С. К формализации агентно-ориентированных систем [Текст] / С. С. Гороховский, А. Н. Глибовец, О. А. Попов // Кибернетика и системный анализ. – 2012. – Т. 48, № 3. – С. 101-110.
- Касім, А. М. Формальна модель синтезованого екранного образу динамічної обстановки в районах моніторингу рухомих об’єктів та її імплементація у веб-орієнтовану геоінформаційну систему [Текст] / А. М. Касім // Кибернетика и системный анализ. – 2017. – Т. 53, № 1. – С. 145-159.
- Колчин, А. В. Автоматический метод динамического построения абстракций состояний формальной модели [Текст] / А. В. Колчин // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 70-90.
|