- Tytuł:
- Modelowanie i weryfikacja protokołu SCTP z wykorzystaniem automatów czasowych ze zmiennymi
- Autorzy:
-
Męski, A.
Półrola, A. - Data publikacji:
- 2008
- Słowa kluczowe:
-
model protokołu SCTP
weryfikacja protokołu
logika temporalna CTL
system tranzycyjny
automat czasowy ze zmiennymi całkowitymi
sieci ACZC
Computational Tree Logic
Stream Transmission Control Protocol - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł