Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky
Uložené v:
| Hlavný autor: | |
|---|---|
| Ďalší autori: | |
| Médium: | Rukopis Kniha |
| Jazyk: | Slovak |
| Vydavateľské údaje: |
Bratislava :
STU v Bratislave FIIT,
2014
|
| Predmet: | |
| On-line prístup: | VAIS |
| Tagy: |
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
Podobné jednotky: Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky
- Kontrola testovateľnosti ciest digitálnych obvodov
- Automatická syntéza logických kombinačných obvodov s viacerými výstupmi pomocou dekodérov
- Analýza skrytej komunikácie prostredníctvom DNS servera
- Modelovanie porúch pomocou stochastických automatov
- Modelovanie porúch pomocou stochastických modelov
- Nástroj na ovládanie programov pomocou hlasu