APRICOT : a framework for teaching digital systems verification
author
Raik, Jaan
Jenihhin, Maksim
Tšepurov, Anton
Reinsalu, Uljana
Ubar, Raimund-Johannes
statement of authorship
Jaan Raik, Maksim Jenihhin, Anton Chepurov, Uljana Reinsalu, Raimund Ubar
source
19th EAEEIE Annual Conference : June 29-July 2, 2008, Tallinn, Estonia : formal proceedings
location of publication
[S.l.]
publisher
IEEE
year of publication
2008
pages
p. 172-177 : ill
conference name, date
19th EAEEIE Annual Conference, June 29-July 2, 2008
conference location
Tallinn, Estonia
url
http://dx.doi.org/10.1109/EAEEIE.2008.4610181
subject term
tarkvaraarendus
integraallülitused
ISBN
978-1-4244-2008-7
notes
Bibliogr.: 12 ref
TTÜ department
arvutitehnika instituut
language
inglise