Una experiencia en la definición de directrices para la fase de pruebas de sistemas telemáticos especificados mediante técnicas formales

• Autores: Justo A. Carracedo Gallardo, Carlos González Martínez, Carlos Ramos Nespereira, Rubén de Diego Martínez
• Localización: IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994 / coord. por Manuel J. Betancor García, Rafael Pérez Jiménez, Eugenio Jiménez Yguacel, Vol. 2, 1994 , págs. 1194-1198
• Recoge los contenidos presentados a: Unión Científica Internacional de Radio. Comité Español. Simposium Nacional (9. 1994. Las Palmas de Gran Canaria)