Publicacions en què col·labora amb MARTIN LLAMAS NISTAL (5)

2005

  1. Wireless protocol testing and validation supported by formal methods. A hands-on report

    Journal of Systems and Software, Vol. 75, Núm. 1-2, pp. 139-154

2002

  1. Heuristic-driven test case selection from formal specifications. A case study

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. 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

1994

  1. Estrategias Hash para gestión de árboles

    IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994