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

ISSN: 0164-1212

Datum der Publikation: 2002

Ausgabe: 60

Nummer: 1

Seiten: 51-58

Art: Artikel

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