Verifikácia komunikačných protokolov
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Manuskript Buch |
| Sprache: | Slowakisch |
| Veröffentlicht: |
Bratislava :
STU v Bratislave FEI,
2010
|
| Schlagworte: | |
| Online-Zugang: | VAIS |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
Ähnliche Einträge: Verifikácia komunikačných protokolov
- Návrh a realizácia aplikácie pre tvorbu, editovanie a archivovanie verifikačných protokolov v prostredí Oracle : Diplomová práca
- Konštrukcia Buchiho automatov z formúl logiky LTL
- Editor-vizualizer komunikačných protokolov
- Analýza škálovateľnosti komunikačných technológií a protokolov
- Réžia súčasných protokolov a protokolových sád
- Konfigurácia smerovacích protokolov v IPv6 a IPv6 multihoming