Cover Image

Traversal of arbitrary sequences of UCM symbolic transitions for test generation

Saved in:

Bibliographic Details
Date:	2014
Main Author:	A. A. Guba
Format:	Article
Language:	English
Published:	2014
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000168905
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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2014)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

Symbolic modeling of basic protocols systems with arbitrary number of agents
by: Potiyenko, S.V.
Published: (2013)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
by: S. V. Potiyenko
Published: (2013)

Whey fermentation by yeast strains Kluyveromyces marxianus UCM Y-2096 and UCM Y-2388
by: O. D. Ianieva, et al.
Published: (2014)

Minimal Deterministic Traversable Vertex Labelling of Infinite Square Grid Graph
by: S. V. Sapunov
Published: (2020)

Инсерционная семантика параллельных процедурных конструктов языка UCM
by: Годлевский, А.Б.
Published: (2012)

Symbolization of politics and the process of institutional transformation in transit
by: I. Debenko
Published: (2012)

A simplified method for calculating error for location of remote point of the broken polygon traverse
by: V. A. Nazarenko, et al.
Published: (2017)

Tectonophysical and palinspastic sections of the Ukrainian Carpathians along the geo- traverse DOBRE-3 (PANCAKE)
by: O. B. Gintov, et al.
Published: (2014)

Tectonophysical and palinspatic sections of the Ukrainian Carpathians along the geo-traverse DOBRE-3 (PANCAKE)
by: Gintov, O.B., et al.
Published: (2014)

Geoelectric model of the crust and upper mantle along geo- traverse EUROBRIDG&#039;97
by: V. N. Astapenko, et al.
Published: (2014)

Properties of Pyocin S9 from Pseudomonas aeruginosa UCM V-333
by: O. B. Balko, et al.
Published: (2022)

The composition of isolated volutin granules of saccharomyces cerevisiae UCM Y-517
by: V. S. Kharchuk
Published: (2018)

Comparative analysis of pseudorandom bit sequence generators
by: M. N. Mandrona, et al.
Published: (2017)

Designing generators of Poisson pulse sequences based on the additive Fibonacci generators
by: V. N. Maksymovych, et al.
Published: (2017)

Neural network application to pseudorandom sequence generation simulation
by: Lesyk, V.O., et al.
Published: (2024)

Selection of Optimal Conditions for Cultivation of Bacillus megaterium UCM B-5710 – Producer of Keratinase
by: K. V. Avdiyuk, et al.
Published: (2021)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
by: Визовитин, Н.В., et al.
Published: (2015)

The taxonomic study of the strain Bacillus sp. UCM B-7404 – phytopathogenic fungae antagonist
by: D. A. Zhukova, et al.
Published: (2015)

Symbolic enclaves and change of symbolic universums
by: A. Shulga
Published: (2015)

Cryptographic Analysis of Random Sequences Generated by System with Chaotic Behavior
by: Vavriv, D. D.
Published: (2013)

Resistance of Pseudomonas aeruginosa UCM V-1 Population to Silver Nanoparticles at Early Stages of Biofilm Formation
by: O. I. Balko, et al.
Published: (2017)

Symbolic enclaves and change of symbolic universums
by: O. Shulha
Published: (2015)

Superintegrable systems with arbitrary spin
by: A. G. Nikitin
Published: (2013)

Superintegrable systems with arbitrary spin
by: A. G. Nikitin
Published: (2013)

Increase of efficiency of acceleration of the test electron bunch by sequence of electron bunches in the dielectric resonator
by: Markov, P.I., et al.
Published: (2018)

Probiotic features of carotene producing strains Bacillus sp. 1. 1 and B. amyloliquefaciens UCM B-5113
by: L. V. Avdieieva, et al.
Published: (2015)

Information Technology of Color Imaging Assessment of Saccharomyces cerevisiae UCM Y-517 Yeast Volutin Granules
by: O. M. Hromozova, et al.
Published: (2020)

Plasma production by a sequence of relativistic electron bunches in the transit channel of the dielectric structure
by: Linnik, A.F., et al.
Published: (2015)

Three-Dimensional Quasi-Stationary Electromagnetic Field Generated by Arbitrary Current Contour Near Conducting Body
by: Yu. M. Vasetsky, et al.
Published: (2018)

Generating Big Numbers for Testing Multi-Digit Arithmetic Algorithms
by: A. M. Tereshchenko, et al.
Published: (2021)

Efectivity of carotene producing strains Bacillus sp . 1.1 and B. amyloliquefaciens UCM V-5113 in the chikens diet
by: O. O. Nechypurenko, et al.
Published: (2015)

The Influence of Rseudomonas chlororaphis subsp. chlororaphis UCM V-106 Cultivation Temperature on Composition and Biological Properties of Lipopolysaccharides
by: O. S. Brovarskaja, et al.
Published: (2018)

The Symbol of the swastika as the concentration values: sause inversion symbol
by: M. Yarkina
Published: (2013)

A survey of systematic methods for code-based test data generation
by: V. A. Volkov, et al.
Published: (2017)

Heuristic solution of Langmuir problem in arbitrary domain
by: N. A. Azarenkov, et al.
Published: (2017)

Heuristic solution of Langmuir problem in arbitrary domain
by: N. A. Azarenkov, et al.
Published: (2017)

Investigation of the statistical characteristics of pulse sequences Poisson generators, which are constructed in different ways
by: V. N. Maksymovych, et al.
Published: (2017)

Cyclicity of Control Operations on an Arbitrary Modulus
by: Mаtоv, О. Ya., et al.
Published: (2013)