Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Manuscrit Livre |
| Langue: | slovaque |
| Publié: |
Bratislava :
STU v Bratislave FIIT,
2014
|
| Sujets: | |
| Accès en ligne: | VAIS |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: 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