Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Збережено в:
Дата: | 2014 |
---|---|
Автор: | A. A. Guba |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
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) -
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)