Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics

dc.contributor.author	Bača, J.
dc.contributor.author	Giertl, J.
dc.contributor.author	Chladný, V.
dc.date.accessioned	2008-09-17T12:01:16Z
dc.date.available	2008-09-17T12:01:16Z
dc.date.issued	2004
dc.identifier.citation	Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics / J.Bača , J.Giertl ,V. Chladný // Проблеми програмування. — 2004. — N 2,3. — С. 102-107. — Бібліогр.: 7 назв. — англ.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/2282
dc.description.abstract	The contribution deals with different formal specifications of logic system that are used for solving of analysis, synthesis and diagnostics tasks. Particular attention is given to analysis of applicability of separate description for the purpose of system decomposition. The data structure for algebraic expressions with context-free grammar utilization is also defined in the contribution. We also propose algorithm of de/composition of logical systems specified by this expression and finally a procedure for identical and isomorphic circuit search.	en_US
dc.language.iso	en	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Формальные методы в программировании	en_US
dc.title	Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	681.3