On the application of formal description techniques to the design of interception systems for GSM mobile terminals

  1. Fernández-Iglesias, M.J.
  2. González-Castaño, F.J.
  3. Llamas-Nistal, M.
  4. Pousada-Carballo, J.M.
  5. Vales-Alonso, J.
Revista:
Journal of Systems and Software

ISSN: 0164-1212

Ano de publicación: 2002

Volume: 60

Número: 1

Páxinas: 51-58

Tipo: Artigo

DOI: 10.1016/S0164-1212(01)00079-6 GOOGLE SCHOLAR
Fonte de datos: Scopus