PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
JOSE ANTONIO
CORRALES GONZALEZ
Profesor Titular de Universidad
Publicaciones en las que colabora con JOSE ANTONIO CORRALES GONZALEZ (4)
1999
-
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
-
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
-
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)
-
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)