Зображення обкладинки

Deductive verification of requirements for event-driven architecture

Збережено в:

Бібліографічні деталі
Дата:	2013
Автори:	A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2013
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000016744
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Modeling and verification methods for application design in heterogeneous architectures
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2020)

Experimental Verification of the Self-Driven Algorithms for Solving Max-Sum Labeling Problems
за авторством: V. M. Krygin, та інші
Опубліковано: (2023)

The proof-structure of the transcendental deduction of categories
за авторством: Yu. Fedorchenko
Опубліковано: (2015)

Thermal hydraulics verification safety studies to support the licensing of neutron source Accelerator Driven System
за авторством: O. V. Kukhotskyi, та інші
Опубліковано: (2020)

Model-driven development of digital system algorithms on programmable logic integrated circuits
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2020)

Deductive molecular mechanics of carbon allotropes (Review article)
за авторством: I. V. Popov, та інші
Опубліковано: (2020)

The semantic model-driven service systems architecture modeling based on domain ontologies
за авторством: A. A. Petrenko, та інші
Опубліковано: (2016)

Encoding algorithms of information objects in the code of conditional deductions
за авторством: Matov, O. Ya., та інші
Опубліковано: (2015)

Qubit method for deductive fault analysis of logic circuits
за авторством: V. I. Khakhanov, та інші
Опубліковано: (2017)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)

Mapping business processes models from Petri nets into event-driven process chains
за авторством: Zlatkin, S., та інші
Опубліковано: (2006)

Procedure of «zeroing» under control and restore the integrity of data objects in the code of conditional deductions
за авторством: Mаtоv, O. Y., та інші
Опубліковано: (2015)

APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)

The Typology of Events as Objects of Event Management
за авторством: V. M. Mysyk
Опубліковано: (2020)

Verification of the hypotheses on the equality of densities of distributions
за авторством: P. K. Babilua, та інші
Опубліковано: (2016)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Verification and validation: process VS procedure
за авторством: V. L. Demekhin, та інші
Опубліковано: (2013)

Model of information object for digital library and its verification
за авторством: O. V. Novytskyi, та інші
Опубліковано: (2020)

Modelling of two-zone accelerator-driven systems
за авторством: V. A. Babenko, та інші
Опубліковано: (2012)

Using of numerical modeling for verification of the functional hypothesis
за авторством: Sokolovsky, A.I., та інші
Опубліковано: (2007)

Behavioural Motives of Acquisition of Solar-driven Equipment
за авторством: I. A. Shkurupskaja
Опубліковано: (2013)

Magnetospheric ULF waves driven by external sources
за авторством: O. V. Agapitov, та інші
Опубліковано: (2013)

Magnetospheric ULF waves driven by external sources
за авторством: Agapitov, O.V., та інші
Опубліковано: (2013)

The logic of verification of knowledge in the arguments of neopositivism
за авторством: L. H. Komakha
Опубліковано: (2015)

Ontologically-driven information systems in the administrative management
за авторством: O. V. Nesterenko
Опубліковано: (2019)

The Non-Deterministic Strategy of Rewriting
за авторством: A. A. Letichevsky, та інші
Опубліковано: (2013)

The Non-Deterministic Strategy of Rewriting
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)

Covert investigative (detective) actions: data verification
за авторством: O. P. Vashchuk
Опубліковано: (2016)

Ecological Challenges of the Innovation-Driven Economy
за авторством: N. B. Isakova
Опубліковано: (2013)

Analysis of experimental statistics of intervals. Verification of interval distribution exponentiality
за авторством: O. A. Kuchmahra, та інші
Опубліковано: (2017)

Entropy production in the diffusion-driven regime of droplet evaporation
за авторством: L. A. Bulavin, та інші
Опубліковано: (2013)

Entropy production in the diffusion-driven regime of droplet evaporation
за авторством: L. A. Bulavin, та інші
Опубліковано: (2013)

The verification of constant preparation methodology for IMCORE code
за авторством: Galchenko, V.V., та інші
Опубліковано: (2018)

Semantic Space for the Verification of Economic Mathematical Models
за авторством: V. L. Petryk
Опубліковано: (2013)

Structural carbon-carbon materials for accelerator-driven systems
за авторством: Gurin, V.A., та інші
Опубліковано: (2005)