Login / Signup
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario.
Paul Fleischer
Lars Michael Kristensen
Published in:
Petri Nets (2008)
Keyphrases
</>
formal specification
access network
model checking
object oriented design
bandwidth allocation
formal methods
process algebra
cellular networks
reverse engineering
base station
mobile terminals
lightweight
software systems
concurrent systems
software components
allocation scheme
data model
multimedia
database