Publications by the researcher in collaboration with RAFAEL MARTÍNEZ TORRES (4)

2018

  1. An axiomatic semantics for iocos_ conformance relation

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

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)