Tesis doctorales, proyectos y otras publicaciones, una base fundamental
en la ampliación y desarrollo de los conocimientos científicos.

Documentos
disponibles
Artículos (1584)
Libros (343)
Monografías (118)
Otros (129)
Ponencias (1310)
Proyectos (559)
Tesis (9260)

Two quantitative extensions to perform formal testing of timed systems



Título de la tesis:
Two quantitative extensions to perform formal testing of timed systems
Autor/es:
Andrés Sánchez, César
Tipo de documento:
Trabajo
Universidad:
Departamento:
Departamento
Idioma:
Castellano
Palabras clave:
Formal methods, Testing extensions, Timed extensions, Passive testing and monitoring, Passive testing tools
Fecha de la defensa:
2010-02-15 15:50:04
Notas:
...
Valoración:


Danos tu valoración:
1 2 3 4 5 6 7 8 9 10




Tesis y otros documentos relacionados

Añade un enlace nuestro
en tu blog, sitio web o foro

Webs Amigas
Comprar Libros | Ejemplos


Tesis Doctorales, Proyectos de fin de carrera, Monografías, Artículos, Ponencias y otros documentos y recursos educativos.
© Tesisde.org 2010 - Terminos y Condiciones | Contáctenos

eXTReMe Tracker