TY  - GEN
AU  - Caño Núñez, Jesús
AU  - Ramos Ruiz, Ignacio
AU  - Álvarez Fernández, Enrique
A4  - Rodríguez Laguna, Ismael
PY  - 2008
UR  - https://hdl.handle.net/20.500.14352/54396
AB  - El proyecto realizado consiste en la implementación de una herramienta capaz de simular el comportamiento descrito en una lógica desarrollada (HOTL: Hypotheses and observations testing logic), en un excelente trabajo de investigación, por parte de...
LA  - spa
KW  - Hotl
KW  - Fsm
KW  - Modelo
KW  - Observación
KW  - Hipótesis
KW  - Regla
KW  - Testing
KW  - Lógica
KW  - Conformidad
KW  - CountElim
TI  - HOTL: Hypothesis and observations testing logic
TY  - coursework
ER  -