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

View

Downloaded 17 times

Available at the authorised workplace in the National Library of Estonia, Archival Library of the Estonian Literary Museum, Tallinn University of Technology Library, University of Tartu Library and Academic Library of Tallinn University

Available in the network of the National Library of Estonia

Available in public network

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

Author: Xinhui Lai, Tallinna Tehnikaülikool. Arvutisüsteemide Instituut, Supervisor: Maksim Jenihhin, Jaan Raik

Technical data

Publisher:: Tallinna Tehnikaülikooli Kirjastus
Published:: 2022
Language:: English
Depositor:: Tallinna Tehnikaülikooli Kirjastus

Type:: book

: Copyrighted
ESTER: b55028081
ISBN: 978-9949-838-52-3 (pdf)

URL: http://www.digar.ee/id/nlib-digar:800275

Keywords

A duett : for two performers on the pianoforte : in which is introduce...
Securing digital government: towards governance mechanisms for e-state... Isabel Skierka-Canton, Tallinna Tehnikaülikool. Majandusteaduskond, Tallinna Tehnikaülikool. Ragnar Nurkse innovatsiooni ja valitsemise instituut
The brave knight Thor Castlebury
Children's books from Estonia ; 2009 Eesti Kirjanduse Teabekeskus, Eesti Lastekirjanduse Keskus
Culling and longevity of Estonian dairy cows - animal-based, herd infe... Triin Rilanto
Eesti laevade signaalregister = Code-list of Estonian shipping ; 1937 Eesti. Veeteede Talitus, Eesti. Veeteede Valitsus
Euro tulek Eestisse = The launch of the euro in Estonia Antenna Translations
Health in the Baltic countries ; 2012 Tervise Arengu Instituut, Eesti Meditsiinistatistika Büroo, Eesti. Sotsiaalministeerium.Statistika- ja analüüsi osakond, Centre for Disease Prevention and Control of Latvia, Lithuanian Health Information Centre
Photovoltaic string converter with universal compatibility with AC and... Oleksandr Matiushkin, Tallinna Tehnikaülikool. Inseneriteaduskond, Tallinna Tehnikaülikool. Elektroenergeetika ja mehhatroonika instituut
Roadmap for societal engagement for higher education institutions Victoria Ateca-Amestoy, Anne Äyväri, Anne Eskelinen, Tanja Johansson, Annukka Jyrämä, Riikka Kanervo, Alar Kein, Kaari Kiitsak-Prikk, Beatriz Plaza, Tiina Pusa, Anna Maria Ranczakowska, Sari Sarlio-Siintola, Marge Sassi, Violeta Simjanovska, Carmen Tasser
Labour market review ; 2/2010 Eesti Pank
Mediatization of scientists: process, indicators, impact Arko Olesk, meedia ja kunstide instituut Tallinna Ülikool. Balti filmi
Chemical modification of met and his residues of amyloid β peptide. In... Merlin Sardis, Tallinna Tehnikaülikool. Keemia ja biotehnoloogia instituut
Emakeele Seltsi aastaraamat ; 61 2015 Emakeele Selts
Eesti statistika aastaraamat 2001 = Statistical yearbook of Estonia 20... Eesti. Statistikaamet
Loodusevaatlusi Eesti. Looduskaitsekeskus, Matsalu Rahvuspark, Matsalu Looduskaitseala
Annual report of the Eesti Pank [Bank of Estonia] ; 1936 Eesti Pank
Proceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 ... Tallinna Tehnikaülikool. Arvutiteaduse instituut, Tallinna Tehnikaülikool. Infotehnoloogia teaduskond, Interdisciplinary Cyber Research Workshop
Tallinn yearbook ; 2004 Tallinna Linnavalitsus
Eesti-uuringute Tippkeskuse konverents. Dialoogid Eestiga. Uus algus :... konverents Dialoogid Eestiga. Uus algus

Belongs to series

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

Technical data

Keywords

SEE ALSO