Simulation and formal specification of protocols for mobile radio networks-an integrated approach
1994
Formal description tools allow a very detailed specification and microscopic analysis of a communication system in a mobile radio network. Additionally the performance of protocols in a mobile radio environment has to be evaluated on a larger scale where several protocol instances communicate in parallel via the radio channel. The paper presents an integrated simulation approach combining the benefits of a detailed standardised protocol specification with the performance evaluation in larger environments. A prototype implementation and a case study show the feasibility of the integrated approach. >
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
4
References
2
Citations
NaN
KQI