Checking sequence design for FSM
autor
Keevallik, Andres
Kruus, Margus
Lensen, Harri
vastutusandmed
A. Keevallik, M. Kruus, H. Lensen
allikas
Proceedings of the 5th International Conference on Mixed Design of Integrated Circuits and Systems, Lodz, Poland, June 18-20, 1998
ilmumiskoht
[S.l.]
ilmumisaasta
1998
leheküljed
p. 325-330
märksõna
abstraktsed automaadid
disain
projekteerimine
keel
inglise