Publication Details
Title: On the Application of Formal Description Techniques to the Design of Interception Systems for GSM Mobile Terminals
Author: M. J. Fernández, J. González, M. Llamas, J. M. Pousada, and J. Vales
Group: Networking
Date: January 2002
PDF: [Not available online]
Bibliographic Information:
Journal of Systems and Software, Vol. 60, Issue 1, pp. 49-56
Bibliographic Reference:
M. J. Fernández, J. González, M. Llamas, J. M. Pousada, and J. Vales. On the Application of Formal Description Techniques to the Design of Interception Systems for GSM Mobile Terminals. Journal of Systems and Software, Vol. 60, Issue 1, pp. 49-56, January 2002
Author: M. J. Fernández, J. González, M. Llamas, J. M. Pousada, and J. Vales
Group: Networking
Date: January 2002
PDF: [Not available online]
Bibliographic Information:
Journal of Systems and Software, Vol. 60, Issue 1, pp. 49-56
Bibliographic Reference:
M. J. Fernández, J. González, M. Llamas, J. M. Pousada, and J. Vales. On the Application of Formal Description Techniques to the Design of Interception Systems for GSM Mobile Terminals. Journal of Systems and Software, Vol. 60, Issue 1, pp. 49-56, January 2002