TY  - THES
AU  - García Merayo, María De Las Mercedes
A3  - Núñez García, Manuel
A3  - Hierons, Robert M.
PY  - 2009
SN  - 978-84-692-7622-8
UR  - https://hdl.handle.net/20.500.14352/48817
AB  - Los métodos formales son técnicas con base matemática que se utilizan tanto para el diseño y análisis de sistemas como para la evaluación de su corrección. El uso de métodos formales es especialmente relevante en sistemas en los que es importante...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Análisis de sistemas
KW  - Diseño de sistemas
TI  - Marcos temporales y probabilística para testing formal
M3  - doctoral thesis
ER  -