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

• Autores: Justo 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
• Idioma: español
• Texto completo no disponible (Saber más ...)