RAFAEL
MARTÍNEZ TORRES
Researcher to 2020
LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
Publications by the researcher in collaboration with LUIS FERNANDO LLANA DÍAZ (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)