Test generation for finite state machines
author
Ubar, Raimund-Johannes
Brik, Marina
statement of authorship
R.Ubar, M.Brik
source
BEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings
location of publication
[Tallinn]
year of publication
1996
pages
p. 233-236: ill
subject term
abstraktsed automaadid
rikked
testimine
ISBN
9985-59-026-0
notes
Bibl. 5 ref
language
inglise