Cover Image

Deductive verification of requirements for event-driven architecture

Saved in:

Bibliographic Details
Date:	2013
Main Authors:	A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba
Format:	Article
Language:	English
Published:	2013
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000016744
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A., et al.
Published: (2013)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

Modeling and verification methods for application design in heterogeneous architectures
by: S. D. Pohorilyi, et al.
Published: (2020)

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

The proof-structure of the transcendental deduction of categories
by: Yu. Fedorchenko
Published: (2015)

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

Model-driven development of digital system algorithms on programmable logic integrated circuits
by: O. O. Letychevskyi, et al.
Published: (2020)

Deductive molecular mechanics of carbon allotropes (Review article)
by: I. V. Popov, et al.
Published: (2020)

The semantic model-driven service systems architecture modeling based on domain ontologies
by: A. A. Petrenko, et al.
Published: (2016)

Encoding algorithms of information objects in the code of conditional deductions
by: Matov, O. Ya., et al.
Published: (2015)

Qubit method for deductive fault analysis of logic circuits
by: V. I. Khakhanov, et al.
Published: (2017)

Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V., et al.
Published: (2018)

Mapping business processes models from Petri nets into event-driven process chains
by: Zlatkin, S., et al.
Published: (2006)

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

APS C++ User's Library
by: Letichevsky, A., et al.
Published: (2008)

The Typology of Events as Objects of Event Management
by: V. M. Mysyk
Published: (2020)

Verification of the hypotheses on the equality of densities of distributions
by: P. K. Babilua, et al.
Published: (2016)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Verification and validation: process VS procedure
by: V. L. Demekhin, et al.
Published: (2013)

Model of information object for digital library and its verification
by: O. V. Novytskyi, et al.
Published: (2020)

Modelling of two-zone accelerator-driven systems
by: V. A. Babenko, et al.
Published: (2012)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

Behavioural Motives of Acquisition of Solar-driven Equipment
by: I. A. Shkurupskaja
Published: (2013)

Magnetospheric ULF waves driven by external sources
by: O. V. Agapitov, et al.
Published: (2013)

Magnetospheric ULF waves driven by external sources
by: Agapitov, O.V., et al.
Published: (2013)

The logic of verification of knowledge in the arguments of neopositivism
by: L. H. Komakha
Published: (2015)

Ontologically-driven information systems in the administrative management
by: O. V. Nesterenko
Published: (2019)

The Non-Deterministic Strategy of Rewriting
by: A. A. Letichevsky, et al.
Published: (2013)

The Non-Deterministic Strategy of Rewriting
by: Letichevsky, A.A., et al.
Published: (2013)

Covert investigative (detective) actions: data verification
by: O. P. Vashchuk
Published: (2016)

Ecological Challenges of the Innovation-Driven Economy
by: N. B. Isakova
Published: (2013)

Analysis of experimental statistics of intervals. Verification of interval distribution exponentiality
by: O. A. Kuchmahra, et al.
Published: (2017)

Entropy production in the diffusion-driven regime of droplet evaporation
by: L. A. Bulavin, et al.
Published: (2013)

Entropy production in the diffusion-driven regime of droplet evaporation
by: L. A. Bulavin, et al.
Published: (2013)

The verification of constant preparation methodology for IMCORE code
by: Galchenko, V.V., et al.
Published: (2018)

Semantic Space for the Verification of Economic Mathematical Models
by: V. L. Petryk
Published: (2013)

Structural carbon-carbon materials for accelerator-driven systems
by: Gurin, V.A., et al.
Published: (2005)