Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Manuscrit Livre |
| Langue: | slovaque |
| Publié: |
Bratislava :
STU v Bratislave FIIT,
2013
|
| Sujets: | |
| Accès en ligne: | VAIS |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL
- Simulácia špecifikácie digitálneho systému v jazyku HSSL
- Transformácia formálnej špecifikácie správania sa v jazyku HSSL do VHDL modelu
- Aplikácia senzorovej siete
- Synchronizácia dát medzi PC a mobilným telefónom
- Systém správy inteligentných zariadení
- Bezpečnostné moduly pre merací prostriedok KaTaLyzer