Publicaciones en las que colabora con JOSE ANTONIO CORRALES GONZALEZ (4)

1999

  1. Verificación formal del subsistema de identificación de clientes en una tienda virtual

    IV Jornadas de Ingeniería del Software y Bases de Datos: (JISBD'99) (Grupo de Paralelismo, Departamento de Informática), pp. 169-170

1995

  1. Using a symbolic model checker for verify safety properties in SA/RT models

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1993

  1. A pragmatic task design approach based on a Ward/Mellor real-time structured specification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Combination of self-organizing maps and multilayer perceptrons for speaker independent isolated word recognition

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)