Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Gespeichert in:
| Datum: | 2014 |
|---|---|
| 1. Verfasser: | A. A. Guba |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2014
|
| Schriftenreihe: | Problems in programming |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0000168905 |
| 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
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2014)
von: Guba, A.A.
Veröffentlicht: (2014)
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)
von: Guba, A.A.
Veröffentlicht: (2025)
Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
von: S. V. Potiyenko
Veröffentlicht: (2013)
von: S. V. Potiyenko
Veröffentlicht: (2013)
Symbolic modeling of basic protocols systems with arbitrary number of agents
von: Potiyenko, S.V.
Veröffentlicht: (2013)
von: Potiyenko, S.V.
Veröffentlicht: (2013)
Whey fermentation by yeast strains Kluyveromyces marxianus UCM Y-2096 and UCM Y-2388
von: O. D. Ianieva, et al.
Veröffentlicht: (2014)
von: O. D. Ianieva, et al.
Veröffentlicht: (2014)
Minimal Deterministic Traversable Vertex Labelling of Infinite Square Grid Graph
von: S. V. Sapunov
Veröffentlicht: (2020)
von: S. V. Sapunov
Veröffentlicht: (2020)
Symbolization of politics and the process of institutional transformation in transit
von: I. Debenko
Veröffentlicht: (2012)
von: I. Debenko
Veröffentlicht: (2012)
A simplified method for calculating error for location of remote point of the broken polygon traverse
von: V. A. Nazarenko, et al.
Veröffentlicht: (2017)
von: V. A. Nazarenko, et al.
Veröffentlicht: (2017)
Tectonophysical and palinspastic sections of the Ukrainian Carpathians along the geo- traverse DOBRE-3 (PANCAKE)
von: O. B. Gintov, et al.
Veröffentlicht: (2014)
von: O. B. Gintov, et al.
Veröffentlicht: (2014)
Tectonophysical and palinspatic sections of the Ukrainian Carpathians along the geo-traverse DOBRE-3 (PANCAKE)
von: Gintov, O.B., et al.
Veröffentlicht: (2014)
von: Gintov, O.B., et al.
Veröffentlicht: (2014)
Comparative analysis of pseudorandom bit sequence generators
von: M. N. Mandrona, et al.
Veröffentlicht: (2017)
von: M. N. Mandrona, et al.
Veröffentlicht: (2017)
Designing generators of Poisson pulse sequences based on the additive Fibonacci generators
von: V. N. Maksymovych, et al.
Veröffentlicht: (2017)
von: V. N. Maksymovych, et al.
Veröffentlicht: (2017)
Neural network application to pseudorandom sequence generation simulation
von: Lesyk, V.O., et al.
Veröffentlicht: (2024)
von: Lesyk, V.O., et al.
Veröffentlicht: (2024)
The composition of isolated volutin granules of saccharomyces cerevisiae UCM Y-517
von: V. S. Kharchuk
Veröffentlicht: (2018)
von: V. S. Kharchuk
Veröffentlicht: (2018)
Properties of Pyocin S9 from Pseudomonas aeruginosa UCM V-333
von: O. B. Balko, et al.
Veröffentlicht: (2022)
von: O. B. Balko, et al.
Veröffentlicht: (2022)
Geoelectric model of the crust and upper mantle along geo- traverse EUROBRIDG'97
von: V. N. Astapenko, et al.
Veröffentlicht: (2014)
von: V. N. Astapenko, et al.
Veröffentlicht: (2014)
Selection of Optimal Conditions for Cultivation of Bacillus megaterium UCM B-5710 – Producer of Keratinase
von: K. V. Avdiyuk, et al.
Veröffentlicht: (2021)
von: K. V. Avdiyuk, et al.
Veröffentlicht: (2021)
The taxonomic study of the strain Bacillus sp. UCM B-7404 – phytopathogenic fungae antagonist
von: D. A. Zhukova, et al.
Veröffentlicht: (2015)
von: D. A. Zhukova, et al.
Veröffentlicht: (2015)
Cryptographic Analysis of Random Sequences Generated by System with Chaotic Behavior
von: Vavriv, D. D.
Veröffentlicht: (2013)
von: Vavriv, D. D.
Veröffentlicht: (2013)
Increase of efficiency of acceleration of the test electron bunch by sequence of electron bunches in the dielectric resonator
von: Markov, P.I., et al.
Veröffentlicht: (2018)
von: Markov, P.I., et al.
Veröffentlicht: (2018)
Symbolic enclaves and change of symbolic universums
von: A. Shulga
Veröffentlicht: (2015)
von: A. Shulga
Veröffentlicht: (2015)
Resistance of Pseudomonas aeruginosa UCM V-1 Population to Silver Nanoparticles at Early Stages of Biofilm Formation
von: O. I. Balko, et al.
Veröffentlicht: (2017)
von: O. I. Balko, et al.
Veröffentlicht: (2017)
Superintegrable systems with arbitrary spin
von: A. G. Nikitin
Veröffentlicht: (2013)
von: A. G. Nikitin
Veröffentlicht: (2013)
Superintegrable systems with arbitrary spin
von: A. G. Nikitin
Veröffentlicht: (2013)
von: A. G. Nikitin
Veröffentlicht: (2013)
Information Technology of Color Imaging Assessment of Saccharomyces cerevisiae UCM Y-517 Yeast Volutin Granules
von: O. M. Hromozova, et al.
Veröffentlicht: (2020)
von: O. M. Hromozova, et al.
Veröffentlicht: (2020)
Probiotic features of carotene producing strains Bacillus sp. 1. 1 and B. amyloliquefaciens UCM B-5113
von: L. V. Avdieieva, et al.
Veröffentlicht: (2015)
von: L. V. Avdieieva, et al.
Veröffentlicht: (2015)
Three-Dimensional Quasi-Stationary Electromagnetic Field Generated by Arbitrary Current Contour Near Conducting Body
von: Yu. M. Vasetsky, et al.
Veröffentlicht: (2018)
von: Yu. M. Vasetsky, et al.
Veröffentlicht: (2018)
Symbolic enclaves and change of symbolic universums
von: O. Shulha
Veröffentlicht: (2015)
von: O. Shulha
Veröffentlicht: (2015)
The Influence of Rseudomonas chlororaphis subsp. chlororaphis UCM V-106 Cultivation Temperature on Composition and Biological Properties of Lipopolysaccharides
von: O. S. Brovarskaja, et al.
Veröffentlicht: (2018)
von: O. S. Brovarskaja, et al.
Veröffentlicht: (2018)
Efectivity of carotene producing strains Bacillus sp . 1.1 and B. amyloliquefaciens UCM V-5113 in the chikens diet
von: O. O. Nechypurenko, et al.
Veröffentlicht: (2015)
von: O. O. Nechypurenko, et al.
Veröffentlicht: (2015)
Investigation of the statistical characteristics of pulse sequences Poisson generators, which are constructed in different ways
von: V. N. Maksymovych, et al.
Veröffentlicht: (2017)
von: V. N. Maksymovych, et al.
Veröffentlicht: (2017)
Generating Big Numbers for Testing Multi-Digit Arithmetic Algorithms
von: A. M. Tereshchenko, et al.
Veröffentlicht: (2021)
von: A. M. Tereshchenko, et al.
Veröffentlicht: (2021)
A survey of systematic methods for code-based test data generation
von: V. A. Volkov, et al.
Veröffentlicht: (2017)
von: V. A. Volkov, et al.
Veröffentlicht: (2017)
The Symbol of the swastika as the concentration values: sause inversion symbol
von: M. Yarkina
Veröffentlicht: (2013)
von: M. Yarkina
Veröffentlicht: (2013)
Heuristic solution of Langmuir problem in arbitrary domain
von: N. A. Azarenkov, et al.
Veröffentlicht: (2017)
von: N. A. Azarenkov, et al.
Veröffentlicht: (2017)
Heuristic solution of Langmuir problem in arbitrary domain
von: N. A. Azarenkov, et al.
Veröffentlicht: (2017)
von: N. A. Azarenkov, et al.
Veröffentlicht: (2017)
Cyclicity of Control Operations on an Arbitrary Modulus
von: Mаtоv, О. Ya., et al.
Veröffentlicht: (2013)
von: Mаtоv, О. Ya., et al.
Veröffentlicht: (2013)
Synthesis of Reflecting Gratings with Arbitrary Profile
von: Velichko, L. G., et al.
Veröffentlicht: (2013)
von: Velichko, L. G., et al.
Veröffentlicht: (2013)
Spatial prediction of gas-generating sequences in Dnieper-Donetsk basin based on evaluation of vitrinite reflectivity
von: Yu. M. Zelenko, et al.
Veröffentlicht: (2015)
von: Yu. M. Zelenko, et al.
Veröffentlicht: (2015)
Exact sequences of graphs
von: Abbasi, A., et al.
Veröffentlicht: (2019)
von: Abbasi, A., et al.
Veröffentlicht: (2019)
Ähnliche Einträge
-
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2014) -
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025) -
Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
von: S. V. Potiyenko
Veröffentlicht: (2013) -
Symbolic modeling of basic protocols systems with arbitrary number of agents
von: Potiyenko, S.V.
Veröffentlicht: (2013) -
Whey fermentation by yeast strains Kluyveromyces marxianus UCM Y-2096 and UCM Y-2388
von: O. D. Ianieva, et al.
Veröffentlicht: (2014)