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

Conference presentation

CB Adekunle and S Schneider

SPIN 1999, Vol.LNCS 1, pp.136-151

Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops

1999

Abstract

url

http://link.springer.de/link/service/series/0558/bibs/1680/16800136.htmView

28 Record Views

Title: Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin.
Creators: CB Adekunle
S Schneider
Contributors: D Dams
R Gerth
S Leue
M Massink
Springer (Publisher)
Publication Details: SPIN 1999, Vol.LNCS 1, pp.136-151
Conference: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops
Date published: 1999
Date submitted: 17/05/2017
Identifiers: 99513684602346
Academic Unit: University of Surrey
Resource Type: Conference presentation