2025-02-23T00:19:47-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2282%22&qt=morelikethis&rows=5
2025-02-23T00:19:47-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2282%22&qt=morelikethis&rows=5
2025-02-23T00:19:47-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T00:19:47-05:00 DEBUG: Deserialized SOLR response
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 data structure for al...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/2282 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-2282 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-22822009-09-01T16:27:46Z Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics Bača, J. Giertl, J. Chladný, V. Формальные методы в программировании 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. 2004 Article 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 http://dspace.nbuv.gov.ua/handle/123456789/2282 681.3 en Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Формальные методы в программировании Формальные методы в программировании |
| spellingShingle |
Формальные методы в программировании Формальные методы в программировании Bača, J. Giertl, J. Chladný, V. Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| 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. |
| format |
Article |
| author |
Bača, J. Giertl, J. Chladný, V. |
| author_facet |
Bača, J. Giertl, J. Chladný, V. |
| author_sort |
Bača, J. |
| title |
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_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_sort |
formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2004 |
| topic_facet |
Формальные методы в программировании |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/2282 |
| 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 назв. — англ. |
| work_keys_str_mv |
AT bacaj formalspecificationsanddecompositionoflogicsystemsforpurposesofanalysissynthesisanddiagnostics AT giertlj formalspecificationsanddecompositionoflogicsystemsforpurposesofanalysissynthesisanddiagnostics AT chladnyv formalspecificationsanddecompositionoflogicsystemsforpurposesofanalysissynthesisanddiagnostics |
| first_indexed |
2023-03-24T08:22:47Z |
| last_indexed |
2023-03-24T08:22:47Z |
| _version_ |
1796138925746552832 |