000 02004nab a2200313 c 4500
001 vtls000473318
003 RU-ToGU
005 20210907020151.0
007 cr |
008 170612s2013 ru s c rus d
035 _ato000473318
040 _aRU-ToGU
_brus
_cRU-ToGU
245 1 0 _aСинтез диагностических тестов для программного обеспечения по срезам расширенного автомата
_cС. А. Прокопенко, М. В. Жигулин, А. В. Коломеец, Н. В. Евтушенко
504 _aБиблиогр.: 7 назв.
653 _aрасширенные автоматы
653 _aдиагностические тесты
655 4 _aстатьи в журналах
_9681159
700 1 _aЖигулин, Максим Владимирович
_983519
700 1 _aКоломеец, Антон Владимирович
_979068
700 1 _aЕвтушенко, Нина Владимировна
_970064
700 1 _aПрокопенко, Светлана Анатольевна
_969956
710 2 _aТомский государственный университет
_bРадиофизический факультет
_bКафедра информационных технологий в исследовании дискретных структур
_981023
710 2 _aТомский государственный университет
_bРадиофизический факультет
_bНаучные подразделения РФФ
_9107063
773 0 _tИзвестия высших учебных заведений. Физика
_d2013
_gТ. 56, № 9/2. С. 200-202
_x0021-3411
_w0026-80960
852 4 _aRU-ToGU
856 7 _uhttp://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473318
908 _aстатья
999 _c349128