Publicacions en què col·labora amb Martín Llamas Nistal (2)

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

2001

  1. Internet access to real equipment at computer architecture laboratories using the Java/CORBA paradigm

    Computers and Education, Vol. 36, Núm. 2, pp. 151-170