Test generation for finite state machines
autor
Ubar, Raimund-Johannes
Brik, Marina
vastutusandmed
R.Ubar, M.Brik
allikas
BEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings
ilmumiskoht
[Tallinn]
ilmumisaasta
1996
leheküljed
p. 233-236: ill
märksõna
abstraktsed automaadid
rikked
testimine
ISBN
9985-59-026-0
märkused
Bibl. 5 ref
keel
inglise