Normal view
MARC view
Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т
Material type:
TextPublication details: Томск [б. и.] 2005Description: 154,[5] л. илSubject(s): диссертации | управляющие системы дискретные | метод теории автоматов | синтез тестов | модели дискретных систем | сетевые протоколы | конечные автоматы | взаимодействие дискретных систем | тесты проверяющие | тестирование условное | тестирование безусловное | модели неисправности | автоматы мутационные | автоматов композиции | алгоритмы теста проверяющего полного | полуавтоматов композиции | формальных языков композиции | конечных автоматов композиции | автоматные уравнения | уравнения формальных языков | отношения неразделимости | программные реализации протоколов | автоматизация тестирования | архитектура тестера | тестирование POP3-сервера
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-916547к 51 (Browse shelf (Opens below)) | 1 | Available | 13820000468084 |
Библиогр.: л. 146-153
There are no comments on this title.