Построение проверяющего теста для сети автоматов
autor
Keevallik, Andres
Kasirova, Lilia
Kruus, Margus
vastutusandmed
А.Кеэваллик, Л.Каширова, М.Круус
allikas
Tallinna Tehnikaülikooli Toimetised
ajakirja aastakäik number kuu
708
ilmumisaasta
1990
leheküljed
lk. 3-19: ill
märksõna
automaadid (seadmed)
testid
süntees
ISSN
0868-4081
märkused
Bibl. 5 nim
retsensioon
Kokkuvõte: A.Keevallik, L.Kaširova, M.Kruus. Kontrolltesti süntees automaatide võrgu jaoks
Abstract: Checking test derivation for automata network
keel
vene