Revista de informática y automática

• 

  Año 1985, Año 18, Número 64

  • Verificación de sistemas digitales: una panorámica

    Salvador Bracho del Pino, José Manuel Solana Quirós, Eugenio Villar Bonet

    • Resumen

    págs. 7-24

    

  • Algoritmo de búsqueda con aproximación y eliminación para el reconocimiento de palabras aisladas

    Pedro Ramis Soriano, Vicente Esteve Gómez, Antonio Ruiz Calomarde, Enrique Vidal Ruiz

    • Resumen

    págs. 25-34

    

  • Estudio comparativo de métodos para la obtención de modelos de sistemas continuos a partir de su identificación por computador

    José Antonio Cerrada Somolinos, Vicente Feliú Batlle

    • Resumen

    págs. 35-42

    

  • Un método de reutilización de software basado en esquemas de programas

    María del Carmen Fernández Chamizo, Antonio Vaquero Sánchez

    • Resumen

    págs. 43-48