University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Towards Efficient Protocol Design through Protocol Profiling and Performance Assessment: Using Formal Verification in a Different Context

Moessner, K and Georgoulas, S (2011) Towards Efficient Protocol Design through Protocol Profiling and Performance Assessment: Using Formal Verification in a Different Context Wiley International Journal of Communication Systems.

[img] PDF (deleted)
dac1317.pdf
Restricted to Repository staff only
Available under License : See the attached licence file.

Download (261kB)
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf

Download (33kB)
[img]
Preview
PDF
Toward efficient protocol design through protocol profiling and performance assessment, using formal verification in a different context.pdf
Available under License : See the attached licence file.

Download (314kB)
Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Electronic Engineering > Centre for Communication Systems Research
Authors :
AuthorsEmailORCID
Moessner, KUNSPECIFIEDUNSPECIFIED
Georgoulas, SUNSPECIFIEDUNSPECIFIED
Date : 31 January 2011
Identification Number : 10.1002/dac.1317
Depositing User : Symplectic Elements
Date Deposited : 09 Feb 2016 10:53
Last Modified : 09 Feb 2016 10:53
URI: http://epubs.surrey.ac.uk/id/eprint/125649

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800