Rafael Martnez-Torres
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2013–2015
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SAC | Extending mCRL2 with ready simulation and iocos input-output conformance simulation. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2014 | FORTE | Effectiveness for Input Output Conformance Simulation iocos̱. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2013 | FORTE | Input-Output Conformance Simulation (iocos) for Model Based Testing. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2013 | SEFM | IOCO as a Simulation. | Luis Llana, Rafael Martnez-Torres |