Publications dans lesquelles il/elle collabore avec Manuel J. Fernández Iglesias (3)

2002

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

    Journal of Systems and Software, Vol. 60, Núm. 1, pp. 51-58

  2. Real-time interception systems for the GSM protocol

    IEEE Transactions on Vehicular Technology, Vol. 51, Núm. 5, pp. 904-914