Организация базы знаний о переходах системы с атрибутами перечислимых типов

Скорочена інформація про документ
dc.contributor.authorПотиенко, С.В.
dc.date.accessioned2015-06-14T19:17:50Z
dc.date.available2015-06-14T19:17:50Z
dc.date.issued2012
dc.description.abstractПредложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.uk_UA
dc.description.abstractA method for building of a knowledge base about transitions of a system under modeling is suggested for solving a problem of detection acceptable transitions in symbolic model checking.uk_UA
dc.description.abstractЗапропоновано метод побудови бази знань про переходи системи, що моделюється для вирішення проблеми визначення допустимості переходів у символьному моделюванні.uk_UA
dc.description.sponsorshipРабота выполнялась при поддержке ДФФД по проекту Ф40.1/004.uk_UA
dc.identifier.citationОрганизация базы знаний о переходах системы с атрибутами перечислимых типов / С.В. Потиенко // Управляющие системы и машины. — 2012. — № 6. — С. 49-52. — Бібліогр.: 5 назв. — рос.uk_UA
dc.identifier.issn0130-5395
dc.identifier.udc004.415.28 + 004.415.52
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/83107
dc.language.isoruuk_UA
dc.publisherМіжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН Україниuk_UA
dc.relation.ispartofУправляющие системы и машины
dc.statuspublished earlieruk_UA
dc.subjectТехнические приложения инсерционного моделированияuk_UA
dc.titleОрганизация базы знаний о переходах системы с атрибутами перечислимых типовuk_UA
dc.title.alternativeThe Organization of a Knowledge Base About Transitions of the System with Attributes of Enumerated Typesuk_UA
dc.title.alternativeОрганізація бази знань про переходи системи з атрибутами перелічуваних типівuk_UA
dc.typeArticleuk_UA

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
06-Potienko.pdf
Розмір:
413.68 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
817 B
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Управляющие системы и машины, 2012, № 6