Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
author
supervisor
statement of authorship
Xinhui Lai ; [supervisor: Maksim Jenihhin, co-supervisor: Jaan Raik ; Tallinn University of Technology, School of Information Technologies, Department of Computer Systems]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
year of publication
pages
154 p. : ill
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 29/2022
subject term
subject of form
ISSN
2585-6898
ISBN
978-9949-83-851-6
notes
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
url
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
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).