Доступен на авторизованном компьютере Национальной библиотеки Эстонии, Архивной библиотеки Эстонского литературного музея, библиотеки Таллиннского технического университета, библиотеки Тартуского университета u Академической библиотеки Таллиннского университета
Доступно в сети Национальной библиотеки Эстонии
Открытый доступ предоставляется
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Автор: Mohammad Reza Heidari Iman, Tallinna Tehnikaülikool. Infotehnoloogia teaduskond, Tallinna Tehnikaülikool. Arvutisüsteemide instituut, Научный руководитель: Tara Ghasempouri, Gert Jervan