Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
autor
juhendaja
vastutusandmed
Xinhui Lai ; [supervisor: Maksim Jenihhin, co-supervisor: Jaan Raik ; Tallinn University of Technology, School of Information Technologies, Department of Computer Systems]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
154 p. : ill
seeria-sari
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 29/2022
märksõna
vormimärksõna
ISSN
2585-6898
ISBN
978-9949-83-851-6
märkused
Thesis (Ph.D. in Computer and Systems Engineering) : Tallinn University of Technology, 2022
Autori publikatsioonide nimekiri leheküljel 8
Bibliogr. p. 83-96
Kokkuvõte eesti keeles
Autori CV inglise ja eesti keeles, lk. 151-154
Saadaval ka võrguteavikuna
leitav
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Lai, X. Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid. Tallinn : TalTech Press, 2022. 154 p. : ill. (Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 29/2022).