An application of truth functions in formalized diagnostics

QR kód

An application of truth functions in formalized diagnostics

Elmentve itt :

Bibliográfiai részletek
Szerző:	Ádám András
Dokumentumtípus:	Cikk
Megjelent:	1976
Sorozat:	Acta cybernetica 2 No. 4
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12223

Hasonló tételek

Truth functions and problems in graph colouring
Szerző: Lükő G.
Megjelent: (1977)

On the formal definition of VDL-objects
Szerző: Fekete I., et al.
Megjelent: (1977)

Formal properties of literal shuffle
Szerző: Bérard Béatrice
Megjelent: (1987)

Formal grammars in conformance testing [abstract] /
Szerző: Rotter Csaba V.
Megjelent: (2000)

Tree transducers and formal tree series
Szerző: Kuich Werner
Megjelent: (1999)

A formal approach to design patterns [abstract] /
Szerző: Szász Péter
Megjelent: (1998)

Kleene theorems for skew formal power series
Szerző: Kuich Werner
Megjelent: (2006)

Probabilistic diagnostics with P-graphs
Szerző: Polgár Balázs, et al.
Megjelent: (2003)

A formal approach for clustering classes in software components [abstract] /
Szerző: Jişa Dan Laurenţiu
Megjelent: (2004)

Probabilistic diagnostics with P-graphs [abstract] /
Szerző: Polgár Balázs, et al.
Megjelent: (2002)

A new mathematical formalism for the TTCN 3 core language [abstract] /
Szerző: Jaskó Szilárd
Megjelent: (2004)

Simulation and formal analysis of workflow models using model transformations [abstract] /
Szerző: Kovács Máté
Megjelent: (2006)

On the real-time recognition of formal languages in cellular automata
Szerző: Pecht J.
Megjelent: (1983)

Formal analysis of existing checkpointing systems and introduction of a novel approach [abstract] /
Szerző: Kovács József
Megjelent: (2006)

A comparative study of C++ standard template library's formal specification [abstract] /
Szerző: Pataki Norbert, et al.
Megjelent: (2008)

Calculation and application of the dynamic function level dependencies in Java programs [abstract] /
Szerző: Fischer Ferenc
Megjelent: (2008)

Model-driven diagnostics of underperforming communicating systems
Szerző: Erős Levente, et al.
Megjelent: (2012)

The construction of multidimensional membership functions and its application to feasibility problems
Szerző: Dombi József, et al.
Megjelent: (2023)

On the interaction between closure operations and choice functions with applications to relational databases
Szerző: Demetrovics János, et al.
Megjelent: (1992)

Automatic test purpose generation based on formal grammar representation of communication protocols [abstract] /
Szerző: Gőgös Barnabás
Megjelent: (2000)

On an Alternative to Four Notable Distribution Functions with Applications in Engineering and the Business Sciences
Szerző: Dombi József, et al.
Megjelent: (2020)

Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming
Szerző: Charalambidis Angelos, et al.
Megjelent: (2017)

Testing Internet applications terminology and applicability /
Szerző: Malek Mazen, et al.
Megjelent: (1999)

Applications of overlapping community detection [abstract] /
Szerző: Bóta András, et al.
Megjelent: (2010)

Functional equations, constraints, definability of function classes, and functions of Boolean variables
Szerző: Couceiro Miguel, et al.
Megjelent: (2007)

Test functions and to test functions a framework for global optimization on Stiefel manifolds : [abstract] /
Szerző: Balogh János, et al.
Megjelent: (2002)

Generic functions [abstract] /
Szerző: Scărlătescu Raluca Oana
Megjelent: (2004)

Application-level semi-on-line monitoring of VisualMP applications on clusters of workstations [abstract] /
Szerző: Podhorszki Norbert
Megjelent: (2000)

Recognition of monotone functions
Szerző: Gronau Hans-Dietrich O. F.
Megjelent: (1979)

Multi-cloud management strategies for simulating IoT applications
Szerző: Márkus András, et al.
Megjelent: (2019)

Graphical web application development environment [abstract] /
Szerző: Székely István
Megjelent: (2004)

Building web applications via Web [abstract] /
Szerző: Jónás Richárd
Megjelent: (2002)

Applicability of UML in protocol and test development [abstract] /
Szerző: Kasza Tamás, et al.
Megjelent: (2002)

Wireless application protocol performance testing [abstract] /
Szerző: Farkas Lóránt, et al.
Megjelent: (2000)

Developing applications for testing left-handed people in virtual environments [abstract] /
Szerző: Umenhoffer Tamás, et al.
Megjelent: (2004)

A novel performance model of J2EE web applications considering application server settings [abstract] /
Szerző: Imre Gábor, et al.
Megjelent: (2006)

Applications of the inverse infection problem on bank transaction networks
Szerző: Bóta András, et al.
Megjelent: (2015)

Operations on signed distance functions
Szerző: Bálint Csaba, et al.
Megjelent: (2019)

Modal logics with function symbols
Szerző: Tóth K.
Megjelent: (1979)

On the functional dependency and some generalizations of it
Szerző: Demetrovics János, et al.
Megjelent: (1981)