On the application of formal description techniques to the design of interception systems for GSM mobile terminals
- Fernández-Iglesias, M.J.
- González-Castaño, F.J.
- Llamas-Nistal, M.
- Pousada-Carballo, J.M.
- Vales-Alonso, J.
ISSN: 0164-1212
Année de publication: 2002
Volumen: 60
Número: 1
Pages: 51-58
Type: Article
