Об автоматизации процедур синтеза тестов для дискретных систем на модели альтернативных графов

ilmumiskoht
Таллин
ilmumisaasta
leheküljed
с. 104-109
seeria variantpealkiri
TPI Toimetised ; 626
Труды ТПИ ; 626
märkused
Библиогр. : 5 назв
keel
vene