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

Скачано 0 раз

Доступен на авторизованном компьютере Национальной библиотеки Эстонии, Архивной библиотеки Эстонского литературного музея, библиотеки Таллиннского технического университета, библиотеки Тартуского университета u Академической библиотеки Таллиннского университета

Доступно в сети Национальной библиотеки Эстонии

Открытый доступ предоставляется

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

Автор: Xinhui Lai, Tallinna Tehnikaülikool. Arvutisüsteemide Instituut, Научный руководитель: Maksim Jenihhin, Jaan Raik

технические данные

Издатель:: Tallinna Tehnikaülikooli Kirjastus
Год издания:: 2022
Язык:: aнглийский
Депозитор:: Tallinna Tehnikaülikooli Kirjastus

Тип:: книга

: Защищены авторским правом
ESTER: b5502807x
ISBN: 978-9949-838-51-6

Ссылка: http://www.digar.ee/id/nlib-digar:800272

СМОТРИ ТАКЖЕ

Один из источников текста Свода гражданских узаконений губерний Прибал... Александр Эмильевич Нольде
Porelaste marsh : mandoline jaoks N. Andreevi nummerdud süsteemi jär. ...
Художник, живописец и скульптор Фридрих Карлович Лехт : Выставка в клу... Friedrich Leht, Всекохудожник, Всероссийский кооперативный союз работников изобразительного искусства, Выставка работ художника Ф. К. Лехта в клубе им. Авиахима (Москва)
Учебник по русскому языку для эстонской сельской молодежи : Пособие по... Петр Федорович Митрофанов, Паулина Ивановна Касолайнен, Кюльвая
Территориальное распределение численности и заработной платы рабочих, ... Eesti NSV Riiklik Statistikakomitee, Eesti NSV Statistika Keskvalitsus
Учебник русского языка : Первая книга : Беседа и чтение August Maramaa, Valgus
Балтийская конституция : Историко-юридический очерк
"Беспокойные" вопросы Михаил Петрович Смирнов, Единение во Христе
К вопросу о прогнозе расходов рек в Туркестане Evald Oldekop, Россия. Министерство земледелия.Отдел земельных улучшений.Гидрометрическая часть в Туркестанском крае.Метеорологический отдел
Uriinipidamatusega naise nõustamise soovituslikud juhised perearstile ... Inkotuba (mittetulundusühing)
Влияние лекарственных веществ на способность вырезанной печени задержи... Лейбович Арон Рувимович, Императорский Юрьевский университет. Фармакологический институт проф. Д. М. Лаврова
Раба Афродиты : роман Наталия Резникова
Стенографический отчет Особого совещания для изготовления проекта поло... Особое совещание для изготовления проекта положения о выборах в Учредительное собрание
К вопросу о превращении туйиловых соединений в производные терпинена Иван Лаврентьевич Кондаков, Виктор Алексеевич Скворцов
Nõukogude maal ja graafika : kunstinäituse kataloog : 21. VII - 21. VI... NSV Liidu Kunstikomitee Kujutavate Kunstide Asutuste Peavalitsus. Kunstinäituste ja Väljapanekute Direktsioon, kunstinäitus Nõukogude maal ja graafika
Исследования теплового расширения водных растворов Georg Landesen
Права человека в Эстонии 2014/2015 : годовой отчет Эстонского центра п... Eesti Inimõiguste Keskus, Tallinna Tehnikaülikool. Inimõiguste keskus
Планиметрия : [учебник] : для употребления в гимназиях и реальных учил... Carl Friedrich Otto Hechel, Клуге и Штрем
Главные федерации современного мира Павел Григорьевич Мижуев
Õpetus lastele, kes külakoolides käivad : Loomadega peab tasaselt ja h... Ambrosi, Baltimaa Õigeusu Vennaste Selts, Riia Peetri-Pauluse Vennaste Selts

Часть серии

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

технические данные

СМОТРИ ТАКЖЕ