Universidad Complutense de Madrid
E-Prints Complutense

Two quantitative extensions to perform formal testing of timed systems

Impacto

Downloads

Downloads per month over past year



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




Item Type:Trabajo Fin de Máster
Additional Information:

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

Directors:
DirectorsDirector email
Núñez García, Manuel
Uncontrolled Keywords:Formal methods, Testing extensions, Timed extensions, Passive testing and monitoring, Passive testing tools
Subjects:Sciences > Computer science > Software
Sciences > Mathematics > Stochastic processes
ID Code:10077
Deposited On:15 Feb 2010 15:50
Last Modified:15 Feb 2010 15:50

Origin of downloads

Repository Staff Only: item control page