E-Prints Complutense

Two quantitative extensions to perform formal testing of timed systems

Impacto

Descargas

Último año



Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. [Trabajo fin de Máster]

[img] PDF
1MB




Tipo de documento:Trabajo fin de Máster
Información Adicional:

Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2007-2008

Directores (o tutores):
NombreEmail del director (o tutor)
Núñez García, Manuel
Palabras clave:Formal methods, Testing extensions, Timed extensions, Passive testing and monitoring, Passive testing tools
Materias:Ciencias > Informática > Software
Ciencias > Matemáticas > Procesos estocásticos
Código ID:10077
Depositado:15 Feb 2010 15:50
Última Modificación:15 Feb 2010 15:50

Descargas en el último año

Sólo personal del repositorio: página de control del artículo