Complutense University Library

Two quantitative extensions to perform formal testing of timed systems

Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. Tesis Master's thesis.

[img] PDF
1MB
View download statistics for this eprint

==>>> Export to other formats

Item Type:Thesis (Master's thesis)
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, ManuelUNSPECIFIED
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

Repository Staff Only: item control page