Kättesaadav autoriseeritud töökohal Eesti Rahvusraamatukogus, Eesti Kirjandusmuuseumi Arhiivraamatukogus, Tallinna Tehnikaülikooli Raamatukogus, Tartu Ülikooli Raamatukogus ja Tallinna Ülikooli Akadeemilises Raamatukogus
Kättesaadav Eesti Rahvusraamatukogu sisevõrgus
Kättesaadav välisvõrgus
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Autor: Mohammad Reza Heidari Iman, Tallinna Tehnikaülikool. Infotehnoloogia teaduskond, Tallinna Tehnikaülikool. Arvutisüsteemide instituut, Juhendaja: Tara Ghasempouri, Gert Jervan
Vaata
