- Title
- Towards Efficient Protocol Design through Protocol Profiling and Performance Assessment: Using Formal Verification in a Different Context
- Creators
- K MoessnerS Georgoulas
- Publication Details
- Wiley International Journal of Communication Systems
- Date published
- 31/01/2011
- Date submitted
- 12/01/2012
- Identifiers
- 99511419602346
- Academic Unit
- School of Computer Science and Electronic Engineering
- Resource Type
- Journal article
Journal article
Towards Efficient Protocol Design through Protocol Profiling and Performance Assessment: Using Formal Verification in a Different Context
Wiley International Journal of Communication Systems
31/01/2011
Metrics
147 File views/ downloads
36 Record Views