Biblioteca de la Universidad Complutense de Madrid

Two quantitative extensions to perform formal testing of timed systems

Impacto



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

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