Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Manuscript Book |
| Language: | Slovak |
| Published: |
Bratislava :
STU v Bratislave FEI,
2011
|
| Subjects: | |
| Online Access: | VAIS |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
- Verifikácia riadiacich algoritmov
- Optimalizácia parametrov virtuálneho modelu vozidla na základe experimentálnych údajov
- Metódy spracovania odtlačkov prstov
- Verifikácia konkurentných programov napísaných v jazyku C
- Verifikácia konkurentných programov napísaných v jazyku JAVA
- Verifikácia digitálnych systémov pomocou webových technológií