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.
Aldizkaria:
Journal of Systems and Software

ISSN: 0164-1212

Argitalpen urtea: 2002

Alea: 60

Zenbakia: 1

Orrialdeak: 51-58

Mota: Artikulua

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