MANUEL JOSE
FERNANDEZ IGLESIAS
CATEDRATICO/A DE UNIVERSIDAD TC
FRANCISCO JAVIER
GONZALEZ CASTAÑO
CATEDRATICO/A DE UNIVERSIDAD TC
Publicacións nas que colabora con FRANCISCO JAVIER GONZALEZ CASTAÑO (11)
2009
-
Automating content update for MHP applications: A practical experience
2009 6th IEEE Consumer Communications and Networking Conference, CCNC 2009
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
-
Cellular network for real-time mobile auction
Wireless Personal Communications, Vol. 22, Núm. 1, pp. 23-40
-
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
-
Real-time interception systems for the GSM protocol
IEEE Transactions on Vehicular Technology, Vol. 51, Núm. 5, pp. 904-914
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
2000
-
An undergraduate low-level computer communications laboratory oriented towards industry
International Journal of Electrical Engineering Education, Vol. 37, Núm. 2, pp. 155-156
1998
-
Jamming system for mobile communications
Electronics Letters, Vol. 34, Núm. 22, pp. 2166-2167
1994
-
Estrategias Hash para gestión de árboles
IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994
-
Un sistema de análisis y diseño de arquitecturas multiprocesador para propósitos educativos
IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994