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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation

Збережено в:

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

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2014)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Symbolic modeling of basic protocols systems with arbitrary number of agents
за авторством: Potiyenko, S.V.
Опубліковано: (2013)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
за авторством: S. V. Potiyenko
Опубліковано: (2013)

Whey fermentation by yeast strains Kluyveromyces marxianus UCM Y-2096 and UCM Y-2388
за авторством: O. D. Ianieva, та інші
Опубліковано: (2014)

Minimal Deterministic Traversable Vertex Labelling of Infinite Square Grid Graph
за авторством: S. V. Sapunov
Опубліковано: (2020)

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

Symbolization of politics and the process of institutional transformation in transit
за авторством: I. Debenko
Опубліковано: (2012)

A simplified method for calculating error for location of remote point of the broken polygon traverse
за авторством: V. A. Nazarenko, та інші
Опубліковано: (2017)

Tectonophysical and palinspastic sections of the Ukrainian Carpathians along the geo- traverse DOBRE-3 (PANCAKE)
за авторством: O. B. Gintov, та інші
Опубліковано: (2014)

Tectonophysical and palinspatic sections of the Ukrainian Carpathians along the geo-traverse DOBRE-3 (PANCAKE)
за авторством: Gintov, O.B., та інші
Опубліковано: (2014)

Geoelectric model of the crust and upper mantle along geo- traverse EUROBRIDG&#039;97
за авторством: V. N. Astapenko, та інші
Опубліковано: (2014)

Properties of Pyocin S9 from Pseudomonas aeruginosa UCM V-333
за авторством: O. B. Balko, та інші
Опубліковано: (2022)

The composition of isolated volutin granules of saccharomyces cerevisiae UCM Y-517
за авторством: V. S. Kharchuk
Опубліковано: (2018)

Comparative analysis of pseudorandom bit sequence generators
за авторством: M. N. Mandrona, та інші
Опубліковано: (2017)

Designing generators of Poisson pulse sequences based on the additive Fibonacci generators
за авторством: V. N. Maksymovych, та інші
Опубліковано: (2017)

Neural network application to pseudorandom sequence generation simulation
за авторством: Lesyk, V.O., та інші
Опубліковано: (2024)

Selection of Optimal Conditions for Cultivation of Bacillus megaterium UCM B-5710 – Producer of Keratinase
за авторством: K. V. Avdiyuk, та інші
Опубліковано: (2021)

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

The taxonomic study of the strain Bacillus sp. UCM B-7404 – phytopathogenic fungae antagonist
за авторством: D. A. Zhukova, та інші
Опубліковано: (2015)

Symbolic enclaves and change of symbolic universums
за авторством: A. Shulga
Опубліковано: (2015)

Cryptographic Analysis of Random Sequences Generated by System with Chaotic Behavior
за авторством: Vavriv, D. D.
Опубліковано: (2013)

Resistance of Pseudomonas aeruginosa UCM V-1 Population to Silver Nanoparticles at Early Stages of Biofilm Formation
за авторством: O. I. Balko, та інші
Опубліковано: (2017)

Symbolic enclaves and change of symbolic universums
за авторством: O. Shulha
Опубліковано: (2015)

Superintegrable systems with arbitrary spin
за авторством: A. G. Nikitin
Опубліковано: (2013)

Superintegrable systems with arbitrary spin
за авторством: A. G. Nikitin
Опубліковано: (2013)

Increase of efficiency of acceleration of the test electron bunch by sequence of electron bunches in the dielectric resonator
за авторством: Markov, P.I., та інші
Опубліковано: (2018)

Probiotic features of carotene producing strains Bacillus sp. 1. 1 and B. amyloliquefaciens UCM B-5113
за авторством: L. V. Avdieieva, та інші
Опубліковано: (2015)

Information Technology of Color Imaging Assessment of Saccharomyces cerevisiae UCM Y-517 Yeast Volutin Granules
за авторством: O. M. Hromozova, та інші
Опубліковано: (2020)

Plasma production by a sequence of relativistic electron bunches in the transit channel of the dielectric structure
за авторством: Linnik, A.F., та інші
Опубліковано: (2015)

Three-Dimensional Quasi-Stationary Electromagnetic Field Generated by Arbitrary Current Contour Near Conducting Body
за авторством: Yu. M. Vasetsky, та інші
Опубліковано: (2018)

Generating Big Numbers for Testing Multi-Digit Arithmetic Algorithms
за авторством: A. M. Tereshchenko, та інші
Опубліковано: (2021)

Efectivity of carotene producing strains Bacillus sp . 1.1 and B. amyloliquefaciens UCM V-5113 in the chikens diet
за авторством: O. O. Nechypurenko, та інші
Опубліковано: (2015)

The Influence of Rseudomonas chlororaphis subsp. chlororaphis UCM V-106 Cultivation Temperature on Composition and Biological Properties of Lipopolysaccharides
за авторством: O. S. Brovarskaja, та інші
Опубліковано: (2018)

The Symbol of the swastika as the concentration values: sause inversion symbol
за авторством: M. Yarkina
Опубліковано: (2013)

A survey of systematic methods for code-based test data generation
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)

Heuristic solution of Langmuir problem in arbitrary domain
за авторством: N. A. Azarenkov, та інші
Опубліковано: (2017)

Heuristic solution of Langmuir problem in arbitrary domain
за авторством: N. A. Azarenkov, та інші
Опубліковано: (2017)

Investigation of the statistical characteristics of pulse sequences Poisson generators, which are constructed in different ways
за авторством: V. N. Maksymovych, та інші
Опубліковано: (2017)

Cyclicity of Control Operations on an Arbitrary Modulus
за авторством: Mаtоv, О. Ya., та інші
Опубліковано: (2013)