APRICOT : a framework for teaching digital systems verification
autor
Raik, Jaan
Jenihhin, Maksim
Tšepurov, Anton
Reinsalu, Uljana
Ubar, Raimund-Johannes
vastutusandmed
Jaan Raik, Maksim Jenihhin, Anton Chepurov, Uljana Reinsalu, Raimund Ubar
allikas
19th EAEEIE Annual Conference : June 29-July 2, 2008, Tallinn, Estonia : formal proceedings
ilmumiskoht
[S.l.]
kirjastus/väljaandja
IEEE
ilmumisaasta
2008
leheküljed
p. 172-177 : ill
konverentsi nimetus, aeg
19th EAEEIE Annual Conference, June 29-July 2, 2008
konverentsi toimumispaik
Tallinn, Estonia
leitav
http://dx.doi.org/10.1109/EAEEIE.2008.4610181
märksõna
tarkvaraarendus
integraallülitused
ISBN
978-1-4244-2008-7
märkused
Bibliogr.: 12 ref
TTÜ struktuuriüksus
arvutitehnika instituut
keel
inglise