TY  - CHAP
AU  - Lopez, Victoria
AU  - Gómez, D.
AU  - Montero, Javier
A4  - Jesús Díaz, Mª José del
PY  - 2004
SN  - 84-609-2160-3
UR  - https://hdl.handle.net/20.500.14352/53437
AB  - En este articulo abordaremos el problema de la vericaci on formal [7, 13] de un algoritmo con precondiciones y entradas difusas. Se tratara la vericacion mediante la semantica axiomatica realizando transformaciones de predicados difusos. Para ello...
LA  - spa
M2  - 437
PB  - Desconocido
KW  - Verificacion
KW  - Especificacion
KW  - Algoritmos Difusos.
TI  - Verificación de algoritmos de clasificación con recondición difusa
TY  - book part
ER  -