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

Año de publicación: 2002

Volumen: 60

Número: 1

Páginas: 51-58

Tipo: Artículo

DOI: 10.1016/S0164-1212(01)00079-6 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus