TY  - THES
AU  - Calvo Revelo, Iván
A3  - García Merayo, Mercedes
A3  - Núñez García, Manuel
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/15089
AB  - There has been several attempts to introduce formal methods in the development of medical computer systems. Fuzzy automata provide a way to cope with imprecision, which appears in almost every biological or medical system. In this Thesis, we improve...
AB  - Existen varios intentos de usar los métodos formales en el desarrollo de sistemas informáticos médicos. Los autómatas difusos ofrecen la posibilidad de tener en cuenta la imprecisión, una característica que está presente en casi cualquier sistema...
LA  - eng
KW  - Formal methods
KW  - Fuzzy automata
KW  - Development of softwaretools
KW  - Métodos formales
KW  - Autómatas difusos
KW  - Desarrollo deherramientas software
TI  - Applying fuzzy automata to analyze heart data
M3  - bachelor thesis
ER  -