APRICOT : a framework for teaching digital systems verification
vastutusandmed
Jaan Raik, Maksim Jenihhin, Anton Chepurov, Uljana Reinsalu, Raimund Ubar
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 172-177 : ill
konverentsi nimetus, aeg
19th EAEEIE Annual Conference, June 29-July 2, 2008
konverentsi toimumispaik
Tallinn, Estonia
ISBN
978-1-4244-2008-7
märkused
Bibliogr.: 12 ref
TTÜ struktuuriüksus
keel
inglise
Raik, J., Jenihhin, M., Tšepurov, A., Reinsalu, U., Ubar, R. APRICOT : a framework for teaching digital systems verification // 19th EAEEIE Annual Conference : June 29-July 2, 2008, Tallinn, Estonia : formal proceedings. [S.l.] : IEEE, 2008. p. 172-177 : ill.