Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Publikace dané korporace
Vysoké učení technické v Brně. Fakulta informačních technologií
Zdroj:
Růžička, R.: Formální přístup k analýze testovatelnosti číslicových obvodů na úrovni RT
www (VUT v Brně)
Další informace:
Publikace dané korporace
13
Publikace o dané korporaci
1
Metadata
Podrobné výsledky >>
Adaptivní vícevrstvé neuronové sítě : zkrácená verze Ph.D. thesis
Analýza a zlepšení testovatelnosti číslicového obvodu na úrovni meziregistrových přenosů : disertační práce
Cut-offs and automata in formal verification of infinite-state systems : habilitation thesis
DATAKON : sborník databázové konference = [proceedings of the annual database conference] ...
Evolutionary design of generic structures using instruction-based development : dissertation thesis
Formal models : regulation and reduction : dissertation thesis
Modelování objektů Petriho sítěmi : disertační práce
Nástroje diskrétní simulace : zkrácená verze habilitační práce
Prostředky a metody pro automatické generování testovacích obvodů : disertační práce
Rewriting systems with restricted configurations : dissertation thesis
Simulace a návrh vyvíjecích se systémů : habilitační práce
Systém pro souběžný návrh technického a programového vybavení počítačů : disertační práce
Verification of programs with complex data structures : dissertation thesis
Publikace dané osoby
×
Načítá se...