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.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.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.udc | 681.3 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/2282 | |
| dc.language.iso | en | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.status | published earlier | 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 |
Файли
Оригінальний контейнер
1 - 1 з 1
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.79 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: