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
Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
Autor: Xinhui Lai, Tallinna Tehnikaülikool. Arvutisüsteemide Instituut, Juhendaja: Maksim Jenihhin, Jaan Raik