University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.

Adekunle, CB and Schneider, S (1999) Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, ? - ?.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Authors :
NameEmailORCID
Adekunle, CBUNSPECIFIEDUNSPECIFIED
Schneider, Ss.schneider@surrey.ac.ukUNSPECIFIED
Date : 1999
Contributors :
ContributionNameEmailORCID
UNSPECIFIEDDams, DUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDGerth, RUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDLeue, SUNSPECIFIEDUNSPECIFIED
UNSPECIFIEDMassink, MUNSPECIFIEDUNSPECIFIED
publisherSpringer, UNSPECIFIEDUNSPECIFIED
Related URLs :
Depositing User : Symplectic Elements
Date Deposited : 17 May 2017 11:30
Last Modified : 17 May 2017 14:57
URI: http://epubs.surrey.ac.uk/id/eprint/831629

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