Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
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&#x...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/2282 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | 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 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862720757491040256 |
|---|---|
| author | Bača, J. Giertl, J. Chladný, V. |
| author_facet | Bača, J. Giertl, J. Chladný, V. |
| citation_txt | 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 назв. — англ. |
| collection | DSpace DC |
| description | 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.
|
| first_indexed | 2025-12-07T18:27:16Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2282 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | English |
| last_indexed | 2025-12-07T18:27:16Z |
| publishDate | 2004 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Bača, J. Giertl, J. Chladný, V. 2008-09-17T12:01:16Z 2008-09-17T12:01:16Z 2004 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 назв. — англ. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2282 681.3 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 Інститут програмних систем НАН України Формальные методы в программировании Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics Article published earlier |
| spellingShingle | Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics Bača, J. Giertl, J. Chladný, V. Формальные методы в программировании |
| title | Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| title_full | Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| title_fullStr | Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| title_full_unstemmed | Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| title_short | Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| title_sort | formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| topic | Формальные методы в программировании |
| topic_facet | Формальные методы в программировании |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2282 |
| work_keys_str_mv | AT bacaj formalspecificationsanddecompositionoflogicsystemsforpurposesofanalysissynthesisanddiagnostics AT giertlj formalspecificationsanddecompositionoflogicsystemsforpurposesofanalysissynthesisanddiagnostics AT chladnyv formalspecificationsanddecompositionoflogicsystemsforpurposesofanalysissynthesisanddiagnostics |