Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Manuskript Buch |
| Sprache: | Slowakisch |
| Veröffentlicht: |
STU v Bratislave FIIT,
2008
|
| Schlagworte: | |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
Ähnliche Einträge: Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking
- Simulácia digitálnych systémov v NuSMV
- Grafické znázornenie vývoja vybraných odvetví slovenskej ekonomiky
- Automatická syntéza VHDL opisov digitálnych systémov
- Systém pre výučbu metód priebežnej diagnostiky digitálnych systémov
- Realizácia vybraných algoritmov pre grafické znázornenie strojárskych súčiastok : Diplomová práca
- Riešenie stavového priestoru v prostredí Internetu