TY  - THES
AU  - Andrés Sánchez, César
A3  - García Merayo, Mercedes
A3  - Núñez García, Manuel
PY  - 2010
SN  - 978-84-693-6327-0
UR  - https://hdl.handle.net/20.500.14352/47395
AB  - La tesis doctoral presentada recoge diferentes extensiones de formalismos utilizados en las metodologías para el testing de aquellos sistemas, de modo que estos puedan describir por ejemplo información probabilística con respecto a la frecuencia de...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Monitoring
KW  - Formal Methods
KW  - Passive Testing
KW  - Información probabilística
KW  - Testing pasivo
KW  - Testing activo
TI  - Testing activo y pasivo de sistemas con información temporal y probabilística
M3  - doctoral thesis
ER  -