- Tytuł:
- Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
- Autorzy:
-
Kristensen, L.M.
Fleischer, P. - Data publikacji:
- 2009
- Słowa kluczowe:
-
modelling and validation
coloured Petri nets
state-space methods
model checking
protocol engineering
concurrrent systems
Internet Protocols - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł