Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.
Teemu TynjäläSari LeppänenVesa LuukkalaPublished in: FORTE (2002)
Keyphrases
- data transmission
- base station
- petri net
- high level petri nets
- wireless sensor networks
- cognitive radio
- wireless networks
- energy consumption
- multi hop
- communication networks
- mobile users
- data acquisition
- ad hoc networks
- sensor networks
- sensor nodes
- wireless communication
- mobile networks
- user interface
- wireless channels
- cellular networks
- wifi
- routing protocol
- error detection and correction
- computer networks
- transmission delay
- heterogeneous wireless networks
- mobile ad hoc networks
- sensor data
- video conferencing
- data sets
- access network