Rafael Martínez-Torres
Complutense University of Madrid, Spain
Carlos Gregorio-Rodríguez
Luis Llana
Rafael Martínez-Torres
An axiomatic semantics for iocos_ conformance relation.
152-184
2018
100
J. Log. Algebraic Methods Program.
https://doi.org/10.1016/j.jlamp.2018.06.006
db/journals/jlp/jlp100.html#Gregorio-Rodriguez18
Carlos Gregorio-Rodríguez
Luis Llana
Rafael Martínez-Torres
Extending mCRL2 with ready simulation and iocos input-output conformance simulation.
1781-1788
2015
SAC
https://doi.org/10.1145/2695664.2695853
conf/sac/2015
db/conf/sac/sac2015.html#Gregorio-Rodriguez15
Carlos Gregorio-Rodríguez
Luis Llana
Rafael Martínez-Torres
Effectiveness for Input Output Conformance Simulation iocos̱.
100-116
2014
FORTE
https://doi.org/10.1007/978-3-662-43613-4_7
conf/forte/2014
db/conf/forte/forte2014.html#Gregorio-RodriguezLM14
Carlos Gregorio-Rodríguez
Luis Llana
Rafael Martínez-Torres
Input-Output Conformance Simulation (iocos) for Model Based Testing.
114-129
2013
FMOODS/FORTE
https://doi.org/10.1007/978-3-642-38592-6_9
conf/forte/2013
db/conf/forte/forte2013.html#Gregorio-RodriguezLM13
Luis Llana
Rafael Martínez-Torres
IOCO as a Simulation.
125-134
2013
SEFM Workshops
https://doi.org/10.1007/978-3-319-05032-4_10
conf/sefm/2013w
db/conf/sefm/sefm2013w.html#LlanaM13
Rafael Martínez-Torres
PVM-3.4.4 + IPv6: Full Grid Connectivity.
233-240
2005
conf/pvm/2005
PVM/MPI
https://doi.org/10.1007/11557265_32
db/conf/pvm/pvm2005.html#Martinez-Torres05
Rafael Martínez-Torres
Ricardo Pena
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.
135-151
https://doi.org/10.1007/978-3-540-27861-0_9
2003
conf/ifl/2003
IFL
db/conf/ifl/ifl2003.html#MartinezP03
Carlos Gregorio-Rodríguez
Luis Llana
Ricardo Peña-MaríRicardo Pena