- Tytuł:
- Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
- Autorzy:
-
Billington, J.
Han, B. - Data publikacji:
- 2007
- Słowa kluczowe:
-
TCP
Data Transfer Service
service language
parametric systems
symbolic automata
coloured Petri nets - Pokaż więcej
- Dostawca treści:
- BazTech