Buchumschlag

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&#x...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2004
Hauptverfasser:	Bača, J., Giertl, J., Chladný, V.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут програмних систем НАН України 2004
Schlagworte:	Формальные методы в программировании
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/2282
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	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 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Реализация алгоритма преобразования неординарной сети Петри в ординарную
von: Усатюк, О.В., et al.
Veröffentlicht: (2004)

Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
von: Матвеева, Л.Е.
Veröffentlicht: (2004)

Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений
von: Лопатина, М.В.
Veröffentlicht: (2004)

Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений
von: Багрий, Р.О.
Veröffentlicht: (2004)

Нечіткий трансформаційний підхід до розробки програмних систем
von: Сергієнко, І.В., et al.
Veröffentlicht: (2004)

О реализации вычислений в задачах анализа программ, определенных над векторными пространствами
von: Львов, С.М.
Veröffentlicht: (2004)

Синтез автомата, специфицированного множеством дизъюнктов
von: Чеботарев, А.Н.
Veröffentlicht: (2003)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2003)

Methylene blue: an alternative, multi-purpose stain for detection, analysis and isolation of nucleic acids
von: Johnson, K.M., et al.
Veröffentlicht: (1997)

The argument theory: formal contra informal logic
von: I. S. Matviienko
Veröffentlicht: (2020)

The argument theory: formal contra informal logic
von: I. S. Matviienko
Veröffentlicht: (2020)

Application of digital spectral analysis to decomposition of positron lifetime spectra
von: Kul'ment'ev, A.I.
Veröffentlicht: (2005)

On construction of sanctions and formalization of purpose of punishment in Criminal Law of the Republic of Azerbaijan
von: Sh. T. Samedova
Veröffentlicht: (2019)

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
von: A. N. Chebotarev
Veröffentlicht: (2017)

The Essential-Logical Model of Venture Investing by the Venture Funds for Accounting Purposes
von: O. V. Usatenko
Veröffentlicht: (2016)

Naive Bayesian Classifiers for Purposes of Medical Differential Diagnostics
von: N. Kondrashova, et al.
Veröffentlicht: (2014)

Naive Bayesian Classifiers for Purposes of Medical Differential Diagnostics
von: Kondrashova, N., et al.
Veröffentlicht: (2014)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
von: Давидюк, А. В., et al.
Veröffentlicht: (2021)

Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
von: A. V. Davydiuk, et al.
Veröffentlicht: (2021)

Assessment of English reading for the specific purposes competence About the authors
von: T. H. Korol
Veröffentlicht: (2017)

Defining and resolving Web-services discovery problems using description logics formalism
von: Zakharova, O.V.
Veröffentlicht: (2018)

Defining and resolving Web-services discovery problems using description logics formalism
von: O. Zakharova
Veröffentlicht: (2017)

A development technique and formalization means for functional specifications of systems and devices
von: A. B. Godlevskij, et al.
Veröffentlicht: (2016)

Use of the features of the technology and operating modes of mill stands for diagnostic purposes
von: A. V. Bahlai
Veröffentlicht: (2020)

The hierarchical model of fuzzy logic output formalization for digital systems evaluating mine workings stability
von: A. I. Slashchev, et al.
Veröffentlicht: (2019)

Priminive logical elements synthesis by QCE emulator
von: Deibuk, V.G., et al.
Veröffentlicht: (2009)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)

Information technology diagnostic breast cancer on the basis of fuzzy logic
von: Yu. Titova
Veröffentlicht: (2016)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Analysis of efficiency photovoltaic systems municipal purpose
von: D. S. Karpenko, et al.
Veröffentlicht: (2016)

Specificities of Sanfilippo A syndrome laboratory diagnostics
von: N. S. Trofimova, et al.
Veröffentlicht: (2014)

Specificities of Sanfilippo A syndrome laboratory diagnostics
von: Trofimova, N.S., et al.
Veröffentlicht: (2014)

The Profinite Dimensional Manifold Structure of Formal Solution Spaces of Formally Integrable PDEs
von: Güneysu, B., et al.
Veröffentlicht: (2017)

Logical view for construction-synthesis model of data structures
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2025)

Partial orders based on the CS decomposition
von: Xu, S. Z., et al.
Veröffentlicht: (2020)

The trial of experimental test system for the specific diagnostics of cattle tuberculosis
von: A. A. Siromolot, et al.
Veröffentlicht: (2016)

Partial orders based on the CS decomposition
von: S. Z. Xu, et al.
Veröffentlicht: (2020)

Specificity of manufacturing process validation for diagnostic serological devices
von: Yu. Galkin, et al.
Veröffentlicht: (2018)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)