Normal view
MARC view
Минимизация числа наблюдаемых контекстных переменных при синтезе проверяющих и диагностических тестов для расширенных автоматов А. Коломеец, М. Громов, С. Прокопенко, Н. Евтушенко
Material type: ArticleSubject(s): информационные технологии | синтез тестов | проверяющие тесты | диагностические тесты | тестирование программного обеспечения | программные реализации протоколов | расширенные автоматы | труды ученых ТГУ In: Современные проблемы физики и высокие технологии : материалы Международной конференции, посвященной 125-летию ТГУ, 75-летию СФТИ и 50-летию РФФ ТГУ 29 сентября - 4 октября 2003 г. С. 503-505No physical items for this record
Библиогр.: 4 назв.
There are no comments on this title.
Log in to your account to post a comment.