Publications by the researcher in collaboration with LUCIANO SANCHEZ RAMOS (3)

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)