Testovanie, diagnostika a verifikácia digitálnych systémov
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Autres auteurs: | , |
| Format: | Livre |
| Langue: | slovaque |
| Publié: |
Bratislava :
Nakladateľstvo STU,
2012
|
| Sujets: | |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: Testovanie, diagnostika a verifikácia digitálnych systémov
- Verifikácia digitálnych systémov pomocou webových technológií
- VHDL Visualizer: HDL Model Visualization with Simulation-Based Verification
- Verifikácia riadiacich algoritmov
- Verifikácia konkurentných programov napísaných v jazyku JAVA
- Numerická simulácia ubíjania a jej experimentálna verifikácia : Dizertačná práca
- Verifikácia konkurentných programov napísaných v jazyku C