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...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2004 |
Автори: | Bača, J., Giertl, J., Chladný, V. |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
Інститут програмних систем НАН України
2004
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2282 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | 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Схожі ресурси
-
Нечіткий трансформаційний підхід до розробки програмних систем
за авторством: Сергієнко, І.В., та інші
Опубліковано: (2004) -
Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений
за авторством: Лопатина, М.В.
Опубліковано: (2004) -
О реализации вычислений в задачах анализа программ, определенных над векторными пространствами
за авторством: Львов, С.М.
Опубліковано: (2004) -
Реализация алгоритма преобразования неординарной сети Петри в ординарную
за авторством: Усатюк, О.В., та інші
Опубліковано: (2004) -
Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений
за авторством: Багрий, Р.О.
Опубліковано: (2004)