Normal view
MARC view
Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Громов Максим Леонидович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т
Material type: TextPublication details: Томск [б. и.] 2009Description: 154 лSubject(s): диссертации | автоматы временные | автоматы входо-выходные | автоматные модели | тестирование автоматов проверяющее | синтез тестов проверяющих (кибернетика математическая) | автоматы конечные недетерминированные | автоматы конечные | автоматы мутационные | синтез тестов диагностирующих | эксперименты условные (кибернетика математическая) | теория автоматовItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-970655к (Browse shelf (Opens below)) | Available | 13820000702386 |
Библиогр.: л. 141-152
There are no comments on this title.