Bača, J.; Giertl, J.; Chladný, V.
(2004)
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 ...