RAFAEL
MARTÍNEZ TORRES
Investigador fins a 2020
CARLOS
GREGORIO RODRÍGUEZ
Profesor titular de universidad
Publicacions en què col·labora amb CARLOS GREGORIO RODRÍGUEZ (3)
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)
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)