Publicaciones en las que colabora con RAFAEL MARTÍNEZ TORRES (10)

2018

  1. An axiomatic semantics for iocos_ conformance relation

    Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184

2015

  1. Semántica de simulación para relaciones de conformidad

    Semántica de simulación para relaciones de conformidad

2014

  1. Effectiveness for input output conformance simulation iocos

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

  2. IOCO as a simulation

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

2013

  1. Input-output conformance simulation (iocos) for model based testing

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

2005

  1. PVM-3.4.4 + IPv6: Full grid connectivity

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

2004

  1. Building an interface between eden and maple: A way of parallelizing computer algebra algorithms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3145, pp. 135-151

1984

  1. REAL TIME TEXT TO SPEECH CONVERSION SYSTEM FOR SPANISH.

    ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings

1980

  1. Talking calculators developed and delivered by the polytechnical University of Madrid

    International Journal of Rehabilitation Research, Vol. 3, Núm. 3, pp. 386

1979

  1. MICROPROCESSOR-BASED TALKING CALCULATOR IN SPANISH FOR THE BLIND.

    Sin título en SCOPUS