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

• Date: 2004
• Main Authors: Bača, J., Giertl, J., Chladný, V.
• Format: Article
• Language: English
• Published: Інститут програмних систем НАН України 2004
• Subjects: Формальные методы в программировании
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/2282
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: 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 назв. — англ.

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...