Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Manuscrit Livre |
| Langue: | slovaque |
| Publié: |
Bratislava :
STU v Bratislave FEI,
2011
|
| Sujets: | |
| Accès en ligne: | VAIS |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: 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í