Deductive verification of requirements for event-driven architecture

Deductive verification of requirements for event-driven architecture

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
Hauptverfasser:	A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba
Format:	Artikel
Sprache:	English
Veröffentlicht:	2013
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000016744
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

The proof-structure of the transcendental deduction of categories
von: Yu. Fedorchenko
Veröffentlicht: (2015)

Modeling and verification methods for application design in heterogeneous architectures
von: S. D. Pohorilyi, et al.
Veröffentlicht: (2020)

Experimental Verification of the Self-Driven Algorithms for Solving Max-Sum Labeling Problems
von: V. M. Krygin, et al.
Veröffentlicht: (2023)

Deductive molecular mechanics of carbon allotropes (Review article)
von: I. V. Popov, et al.
Veröffentlicht: (2020)

Encoding algorithms of information objects in the code of conditional deductions
von: Matov, O. Ya., et al.
Veröffentlicht: (2015)

Thermal hydraulics verification safety studies to support the licensing of neutron source Accelerator Driven System
von: O. V. Kukhotskyi, et al.
Veröffentlicht: (2020)

Model-driven development of digital system algorithms on programmable logic integrated circuits
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2020)

Qubit method for deductive fault analysis of logic circuits
von: V. I. Khakhanov, et al.
Veröffentlicht: (2017)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

The semantic model-driven service systems architecture modeling based on domain ontologies
von: A. A. Petrenko, et al.
Veröffentlicht: (2016)

Procedure of «zeroing» under control and restore the integrity of data objects in the code of conditional deductions
von: Mаtоv, O. Y., et al.
Veröffentlicht: (2015)

Mapping business processes models from Petri nets into event-driven process chains
von: Zlatkin, S., et al.
Veröffentlicht: (2006)

APS C++ User's Library
von: Letichevsky, A., et al.
Veröffentlicht: (2008)

Verification of the hypotheses on the equality of densities of distributions
von: P. K. Babilua, et al.
Veröffentlicht: (2016)

The Non-Deterministic Strategy of Rewriting
von: Letichevsky, A.A., et al.
Veröffentlicht: (2013)

The Non-Deterministic Strategy of Rewriting
von: A. A. Letichevsky, et al.
Veröffentlicht: (2013)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Verification and validation: process VS procedure
von: V. L. Demekhin, et al.
Veröffentlicht: (2013)

Model of information object for digital library and its verification
von: O. V. Novytskyi, et al.
Veröffentlicht: (2020)

The logic of verification of knowledge in the arguments of neopositivism
von: L. H. Komakha
Veröffentlicht: (2015)

Using of numerical modeling for verification of the functional hypothesis
von: Sokolovsky, A.I., et al.
Veröffentlicht: (2007)

The Typology of Events as Objects of Event Management
von: V. M. Mysyk
Veröffentlicht: (2020)

Covert investigative (detective) actions: data verification
von: O. P. Vashchuk
Veröffentlicht: (2016)

The verification of constant preparation methodology for IMCORE code
von: Galchenko, V.V., et al.
Veröffentlicht: (2018)

Semantic Space for the Verification of Economic Mathematical Models
von: V. L. Petryk
Veröffentlicht: (2013)

Analysis of experimental statistics of intervals. Verification of interval distribution exponentiality
von: O. A. Kuchmahra, et al.
Veröffentlicht: (2017)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

Forming of the approach to verification of power system dynamic model
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2015)

Experimental Verification of Internal Convergence of Iterative GMDH Algorithms
von: Stepashko, V., et al.
Veröffentlicht: (2012)

Experimental verification of internal convergence of iterative GMDH algorithms
von: V. Stepashko, et al.
Veröffentlicht: (2012)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
von: V. A. Berezos
Veröffentlicht: (2010)

Modelling of two-zone accelerator-driven systems
von: V. A. Babenko, et al.
Veröffentlicht: (2012)