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

dc.contributor.author	Потиенко, С.В.
dc.date.accessioned	2015-06-14T19:17:50Z
dc.date.available	2015-06-14T19:17:50Z
dc.date.issued	2012
dc.identifier.citation	Организация базы знаний о переходах системы с атрибутами перечислимых типов / С.В. Потиенко // Управляющие системы и машины. — 2012. — № 6. — С. 49-52. — Бібліогр.: 5 назв. — рос.	uk_UA
dc.identifier.issn	0130-5395
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83107
dc.description.abstract	Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.	uk_UA
dc.description.abstract	A 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.language.iso	ru	uk_UA
dc.publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України	uk_UA
dc.relation.ispartof	Управляющие системы и машины
dc.subject	Технические приложения инсерционного моделирования	uk_UA
dc.title	Организация базы знаний о переходах системы с атрибутами перечислимых типов	uk_UA
dc.title.alternative	The Organization of a Knowledge Base About Transitions of the System with Attributes of Enumerated Types	uk_UA
dc.title.alternative	Організація бази знань про переходи системи з атрибутами перелічуваних типів	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.415.28 + 004.415.52