
Синтез перевіряючих тестів на основі циклічних відмітних послідовностей
Author(s) -
Я. Ю. Королева
Publication year - 2018
Publication title -
ìnformacìjno-keruûčì sistemi na zalìzničnomu transportì
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2413-3833
pISSN - 1681-4886
DOI - 10.18664/ikszt.v0i3.140349
Subject(s) - observable , correctness , generalization , computer science , algorithm , sequence (biology) , cellular automaton , set (abstract data type) , mathematics , theoretical computer science , mathematical analysis , physics , quantum mechanics , biology , genetics , programming language