TY  - THES
AU  - Martínez Torres, Rafael
A3  - LLana Díaz, Luis
A3  - Gregorio Rodríguez, Carlos
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/27417
AB  - Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de...
AB  - This thesis is about conformance relations you might set up between any two given systems, namely specification and implementation. As a novelty it introduces coinductive techniques to define iocos, a conformance relation enabled to track local...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Verificaciones
KW  - particiones
KW  - algoritmos
KW  - Testing
KW  - partitions (mathematics)
KW  - algorithms
TI  - Semántica de simulación para relaciones de conformidad
M3  - doctoral thesis
ER  -