TY  - THES
AU  - Andrés Sánchez, César
A3  - Núñez García, Manuel
PY  - 2008
UR  - https://hdl.handle.net/20.500.14352/54502
LA  - eng
KW  - Formal methods
KW  - Testing extensions
KW  - Timed extensions
KW  - Passive testing and monitoring
KW  - Passive testing tools
TI  - Two quantitative extensions to perform formal testing of timed systems
M3  - master thesis
ER  -