JOSE ANTONIO CORRALES GONZALEZ-rekin lankidetzan egindako argitalpenak (9)

2000

  1. Building internet shops: current status of the cities project

    Second International Conference on Enterprise Information Systems

  2. Un sistema piloto de comercio electrónico en RedIris

    Boletín de la red nacional de I+D, RedIris, pp. 35-38

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

1997

  1. CASE Support for Modular Verification of Synchronous Reactive Systems

    2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems

  2. Seguimiento y control del desarrollo de proyectos software en las PYMES

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 125, pp. 41

1996

  1. Dynamic analysis of SA/RT models using SPIN and modular verification

    2nd. Workshop on the SPIN Verification System

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)