FRANCISCO JAVIER
GONZALEZ CASTAÑO
CATEDRATICO/A UNIVERSIDADE - TEMPO COMPLETO
MARTIN
LLAMAS NISTAL
CATEDRATICO/A UNIVERSIDADE - TEMPO COMPLETO
Publications by the researcher in collaboration with MARTIN LLAMAS NISTAL (5)
2005
-
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
-
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)
-
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
-
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
1994
-
Estrategias Hash para gestión de árboles
IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994