RAFAEL
MARTÍNEZ TORRES
Investigador ata 2020
Publicacións nas que colabora con RAFAEL MARTÍNEZ TORRES (4)
2018
-
An axiomatic semantics for iocos_ conformance relation
Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184
2014
-
Effectiveness for input output conformance simulation iocos
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
IOCO as a simulation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
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)