Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid

author
Lai, Xinhui
supervisor
author supervisor
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
TalTech Press
year of publication
2022
pages
154 p. : ill
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 29/2022
subject term
riistvara
turvalisus
töökindlus
verifikatsioon
subject of form
dissertatsioonid
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
https://doi.org/10.23658/taltech.29/2022
https://digikogu.taltech.ee/et/Item/cff1aeb9-b0b2-49ce-b81a-bfb9dc25fd56
https://www.ester.ee/record=b5502807*est
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
2.3
TTÜ department
arvutisüsteemide instituut
language
inglise